Theorem supClosed_range

Modification history

2024-02-05 18:00

Mathlib/Order/SupClosed.lean

refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …

Modified supClosed_range View on Github →

2023-10-26 10:03

Mathlib/Order/SupClosed.lean

feat: Lattice closedness (#7548) …

Added supClosed_range View on Github →