P
Initializing...
length_shK (KFU §8: the programs `Φ` and `Φ⁻¹`) · Prove2Me