Theorem PartialEquiv.refl_restr_source

Modification history