Theorem Finset.sup'_eq_cSup_image

Modification history

2023-01-25 09:27

Mathlib/Order/ConditionallyCompleteLattice/Finset.lean

feat: port Order.PartialSups (#1757) …

Deleted Finset.sup'_eq_cSup_image View on Github →

2023-01-21 16:46

Mathlib/Order/ConditionallyCompleteLattice/Finset.lean

feat: port Order.ConditionallyCompleteLattice.Finset (#1748)

Added Finset.sup'_eq_cSup_image View on Github →