Theorem LocalEquiv.trans_symm_eq_symm_trans_symm

Modification history