Theorem Equiv.preimage_symm_preimage

Modification history