`BookProof.ChapterPauliSU2.spinorAction_neg` (T X : Matrix (Fin 2) (Fin 2) ℂ) : spinorAction (-T) X = spinorAction T X

Initializing...

`BookProof.ChapterPauliSU2.spinorAction_neg` (T X : Matrix (Fin 2) (Fin 2) ℂ) : spinorAction (-T) X = spinorAction T X · Prove2Me