`BookProof.ChapterPauliFundamental.inter_isUnit` (hA : IsCliffordC A) {F : M4} (hF : inter A F ≠ 0) : IsUnit (inter A F).det

Initializing...

`BookProof.ChapterPauliFundamental.inter_isUnit` (hA : IsCliffordC A) {F : M4} (hF : inter A F ≠ 0) : IsUnit (inter A F).det · Prove2Me