P
Initializing...
§13 (C), Corollary IV₃ — $F_1 = F$ iff $mK \ll K_1 \ll MK$ · Prove2Me