Theorem LocalEquiv.restr_target

Modification history