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

P

Initializing...

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