Mathlib v3 is deprecated. Go to Mathlib v4

Theorem eq_iff_eq_cancel_left

Modification history

2023-03-03 19:01
src/logic/basic.lean
chore(logic/equiv/basic): Generalize Type to Sort (#18543) …
Modified eq_iff_eq_cancel_leftView on Github →
2019-09-17 02:44
src/logic/basic.lean
feat(logic/basic): eq_iff_eq_cancel (#1447) …
Added eq_iff_eq_cancel_leftView on Github →