Theorem Equiv.Set.image_symm_preimage

Modification history