Theorem Equiv.image_eq_iff_eq

Modification history