Theorem LocalEquiv.trans_symm_self

Modification history