Theorem Monotone.csInf_image_le

Modification history

2026-06-02 12:39

Mathlib/Order/ConditionallyCompleteLattice/Basic.lean

feat(Order/ConditionallyCompleteLattice/Basic): more `WithTop` instances (#38890) …

Deleted Monotone.csInf_image_le View on Github →

2023-05-14 07:05

Mathlib/Order/ConditionallyCompleteLattice/Basic.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added Monotone.csInf_image_le View on Github →