Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set_like.coe_sort_coe

Modification history

2021-10-21 02:55

src/data/set_like/basic.lean

chore(*): bump to lean 3.34.0 (#9824) …

Modified set_like.coe_sort_coe View on Github →

2021-03-30 14:01

src/data/set_like.lean

feat(data/set_like): remove repeated boilerplate from subobjects (#6768) …

Added set_like.coe_sort_coe View on Github →