Theorem Equiv.piCongrLeft_preimage_univ_pi

Modification history