P
Initializing...
`BookProof.LorentzGroup.eta_transpose` : etaᵀ = eta · Prove2Me