Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-05 18:58 0f9751c2

View on Github →

feat(data/traversable): improve support for instances for recursive types (#2072)

Estimated changes

added def ex
added inductive my_tree
added def x