Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tactic.unify_equations.add_add_one_ne

Modification history

2020-10-19 22:45
src/tactic/unify_equations.lean
feat(tactic/unify_equations): add unify_equations tactic (#4515) …
Added tactic.unify_equations.add_add_one_neView on Github →