Theorem infClosed_range

Modification history

2024-02-05 18:00

Mathlib/Order/SupClosed.lean

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

Modified infClosed_range View on Github →

2023-10-26 10:03

Mathlib/Order/SupClosed.lean

feat: Lattice closedness (#7548) …

Added infClosed_range View on Github →