Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-01 01:24 e540c2fe

View on Github →

feat(data/set/basic): default_coe_singleton (#6971)

Estimated changes