Def IsUpperSet

Modification history

2024-11-26 10:41

Mathlib/Order/Defs.lean

chore: split Order.Defs (#19498)

Modified IsUpperSet View on Github →

2024-11-02 03:08

Mathlib/Order/Defs.lean

chore(Order/UpperLower/Basic): move definitions to `Defs` file (#17678) …

Modified IsUpperSet View on Github →

2023-02-01 07:36

Mathlib/Order/UpperLower/Basic.lean

feat: port Order.UpperLower.Basic (#1978)

Added IsUpperSet View on Github →