P
Initializing...
`BookProof.ChapterPauliFundamental.G_isUnit` (T : Finset (Fin 4)) : IsUnit (G T).det · Prove2Me