Theorem LocalEquiv.IsImage.symm_eq_on_of_inter_eq_of_eqOn

Modification history