Theorem PartialEquiv.trans_symm_self

Modification history