Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.to_finset_surjective

Modification history

2020-12-16 18:35
src/data/finset/basic.lean
feat(finset): two simple lemmas (#5387) …
Modified list.to_finset_surjectiveView on Github →
2020-07-27 12:20
src/data/finset/basic.lean
feat(set_theory/cardinal_ordinal): cardinal.mk_finset_eq_mk (#3578)
Added list.to_finset_surjectiveView on Github →