Theorem Finset.compls_subset_iff

Modification history

2023-12-02 15:52
Mathlib/Data/Finset/Sups.lean
chore: space after `←` (#8178)
Modified Finset.compls_subset_iffView on Github →
2023-10-23 12:31
Mathlib/Data/Finset/Sups.lean
feat: Pointwise set difference, complement (#7383) …
Added Finset.compls_subset_iffView on Github →