Theorem Equiv.piCongrLeft_preimage_pi

Modification history