Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-12 09:12 41e3b6fa

View on Github →

refactor(data/list): add prop arg for easier usage (#715)

Estimated changes