Theorem Finset.powerset_infs_powerset_self

Modification history

2026-09-22 13:54
Mathlib/Data/Finset/Sups.lean
feat(Data/Finset/Sups): add `infs_eq_inter` and `powerset_inter_eq_inter` (#42520) …
Modified Finset.powerset_infs_powerset_selfView on Github →
2023-11-03 16:13
Mathlib/Data/Finset/Sups.lean
feat: The four functions theorem (#7551) …
Added Finset.powerset_infs_powerset_selfView on Github →