Mathlib v3 is deprecated. Go to Mathlib v4

Inductive node

Modification history

2020-07-20 03:10

test/unfold_cases.lean

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

Added node View on Github →