Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.to_finset_surj_on

Modification history

2020-12-16 18:35
src/data/finset/basic.lean
feat(finset): two simple lemmas (#5387) …
Added list.to_finset_surj_onView on Github →