P
Initializing...
Spherical isotropic certificate, every M ≥ 0, on domIso M · Prove2Me