Theorem Finset.compl_filter

Modification history

2023-01-18 18:14

Mathlib/Data/Fintype/Basic.lean

chore: revert Multiset and Finset API to use Prop instead of Bool (#1652)

Modified Finset.compl_filter View on Github →

2023-01-16 17:55

Mathlib/Data/Fintype/Basic.lean

feat: port Data.Fintype.Basic (#1593)

Added Finset.compl_filter View on Github →