P
Initializing...
`BookProof.LorentzGroup.eta_det` : eta.det = -1 · Prove2Me