Theorem LocalEquiv.eq_of_eq_on_source_univ

Modification history