Theorem LocalEquiv.restr_trans

Modification history