P
Initializing...
`BookProof.TempleSeparationNecessary.norm_trial` : ‖trial‖ = 1 · Prove2Me