Theorem PartialEquiv.restr_trans

Modification history