Theorem PartialEquiv.trans_refl_restr

Modification history