Theorem LocalEquiv.trans_self_symm

Modification history