Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
ring_equiv.symm_symm
Modification history
2020-12-05 20:21
src/data/equiv/ring.lean
chore(data/equiv/ring): add `symm_symm` and `coe_symm_mk` (#5227) …
Added
ring_equiv.symm_symm
View on Github →