Theorem IsUpperSet.bot_mem

Modification history

2026-01-25 18:29

Mathlib/Order/UpperLower/Basic.lean

feat(Order/UpperLower/Basic): use `to_dual` - part 1 (#33950)

Deleted IsUpperSet.bot_mem View on Github →

2023-02-01 07:36

Mathlib/Order/UpperLower/Basic.lean

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

Added IsUpperSet.bot_mem View on Github →