Theorem LocalEquiv.eq_of_eqOnSource_univ

Modification history