Theorem PartialEquiv.eq_of_eqOnSource_univ

Modification history