Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-20 03:10 697488c8

View on Github →

feat(tactic/unfold_cases): add unfold_cases tactic (#3396)

Estimated changes

Modified src/tactic/default.lean

Created src/tactic/unfold_cases.lean

Created test/unfold_cases.lean

added def balance_eqn_compiler

added def balance_match

added def bar

added def baz

added inductive color

added def foo

added inductive node