Mathlib v3 is deprecated. Go to Mathlib v4

Def balance_match

Modification history

2020-07-20 03:10
test/unfold_cases.lean
feat(tactic/unfold_cases): add unfold_cases tactic (#3396)
Added balance_matchView on Github →