Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-03 11:07 62655a23

View on Github →

chore(data/dfinsupp): add the simp lemma coe_pre_mk (#7806)

Estimated changes

added theorem dfinsupp.coe_pre_mk