Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-15 20:41 9339a345

View on Github →

chore(data/list/defs): docstring (#3804)

Estimated changes