`BookProof.ChapterParityChirality.chirality_iff_proj` (v : Fin 2 × Fin 4 → ℂ) : chi *ᵥ v = -v ↔ QLProj *ᵥ v = v

Initializing...

`BookProof.ChapterParityChirality.chirality_iff_proj` (v : Fin 2 × Fin 4 → ℂ) : chi *ᵥ v = -v ↔ QLProj *ᵥ v = v · Prove2Me