Theorem LocalEquiv.refl_restr_source

Modification history