Structure LowerSet

Modification history

2024-11-26 10:41
Mathlib/Order/Defs.lean
chore: split Order.Defs (#19498)
Modified LowerSetView on Github →
2024-11-02 03:08
Mathlib/Order/Defs.lean
chore(Order/UpperLower/Basic): move definitions to `Defs` file (#17678) …
Modified LowerSetView on Github →
2023-08-10 19:52
Mathlib/Order/UpperLower/Basic.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified LowerSetView on Github →
2023-02-01 07:36
Mathlib/Order/UpperLower/Basic.lean
feat: port Order.UpperLower.Basic (#1978)
Added LowerSetView on Github →