`BookProof.ChapterA4g.rotGen_enSign_comm` (i j : Fin 3) : rotGen i j * enSign = enSign * rotGen i j

Initializing...

`BookProof.ChapterA4g.rotGen_enSign_comm` (i j : Fin 3) : rotGen i j * enSign = enSign * rotGen i j · Prove2Me