Theorem LocalEquiv.restr_univ

Modification history