P
Initializing...
MP01 (μ = 3, a = 1/2): Einstein–Maxwell certificate with 𝒜 = 0 · Prove2Me