Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ring_equiv.map_div

Modification history

2022-08-16 01:42
src/algebra/ring/equiv.lean
feat(algebra/group_with_zero): generalize some lemmas (#15985) …
Deleted ring_equiv.map_divView on Github →
2021-10-11 02:26
src/data/equiv/ring.lean
feat(data/equiv/ring): add basic API lemmas for ring_equiv (#9639) …
Added ring_equiv.map_divView on Github →