Theorem LocalEquiv.symm_image_target_eq_source

Modification history