Theorem Equiv.preimage_image

Modification history