Theorem Equiv.image_symm_image

Modification history