Theorem Equiv.symm_image_image

Modification history