Theorem Equiv.piCongrLeft_symm_preimage_univ_pi

Modification history