Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.to_finset_inj

Modification history

2021-01-14 08:39
src/data/fintype/basic.lean
chore(*): split some long lines (#5742)
Modified set.to_finset_injView on Github →
2020-06-03 13:41
src/data/fintype/basic.lean
feat(data/fintype/basic): to_finset_inj (#2938)
Added set.to_finset_injView on Github →