Theorem not_isTop

Modification history

2025-12-03 01:23

Mathlib/Order/Max.lean

feat(Order/Max): use `@[to_dual]` (#32059) …

Deleted not_isTop View on Github →

2022-11-24 15:22

Mathlib/Order/Max.lean

chore: fix case errors in Order.Max (#713)

Added not_isTop View on Github →