P
Initializing...
MP02 (μ = 5, rotation constant −2/3): Einstein–Maxwell certificate with 𝒜 = 0 via the reduced system · Prove2Me