Theorem Equiv.piCongrLeft_symm_preimage_pi

Modification history