Commit 2019-09-17 02:44 d4cc1790
View on Github →feat(logic/basic): eq_iff_eq_cancel (#1447)
- feat(logic/basic): eq_iff_eq_cancel
These lemmas or not meant for
rwbut to be applied, as a sort of congruence lemma. - State lemmas as iff
- Make'm simp
feat(logic/basic): eq_iff_eq_cancel (#1447)
rw but to be applied, as a sort of congruence lemma.