Theorem Equiv.image_eq_iff_bijOn

Modification history