Theorem PartialEquiv.restr_target

Modification history