Theorem LocalEquiv.refl_restr_target

Modification history