Theorem Finset.inf'_eq_cInf_image

Modification history

2023-01-25 09:27

Mathlib/Order/ConditionallyCompleteLattice/Finset.lean

feat: port Order.PartialSups (#1757) …

Deleted Finset.inf'_eq_cInf_image View on Github →

2023-01-21 16:46

Mathlib/Order/ConditionallyCompleteLattice/Finset.lean

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

Added Finset.inf'_eq_cInf_image View on Github →