Theorem Finset.sup_eq_ciSup

Modification history

2026-08-10 13:55
Mathlib/Order/ConditionallyCompleteLattice/Finset.lean
feat(Order/ConditionallyCompleteLattice/Finset): add `sup_eq_ciSup` (#41361) …
Added Finset.sup_eq_ciSupView on Github →