Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-04 21:26 0afd3a0f

View on Github →

chore(data/finsupp/basic): Add single_of_single_apply (#5219)

Estimated changes