P
Initializing...
`BookProof.ChapterA3.mgammaR_clifford` : IsCliffordR mgammaR · Prove2Me