Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.sep_def

Modification history

2019-09-24 13:36
src/data/finset.lean
feat(finset): add has_sep instance (#1477)
Added finset.sep_defView on Github →