Structure LowerSet

Modification history

2023-08-10 19:52

Mathlib/Order/UpperLower/Basic.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified LowerSet View on Github →

2023-02-01 07:36

Mathlib/Order/UpperLower/Basic.lean

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

Added LowerSet View on Github →