phiInv_spec (KFU §9: the runs of `Φ` and `Φ⁻¹`) · Prove2Me

P

Initializing...

phiInv_spec (KFU §9: the runs of `Φ` and `Φ⁻¹`) · Prove2Me