Theorem RingEquiv.invFun_eq_symm

Modification history