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

Initializing...

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