P
Initializing...
VS_eq (KFUU §9b: the uniform `Φ`) · Prove2Me