Theorem not_is_top

Modification history

2022-11-24 15:22

Mathlib/Order/Max.lean

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

Deleted not_is_top View on Github →

2022-11-18 04:15

Mathlib/Order/Max.lean

feat: port Order.Max (#567) …

Added not_is_top View on Github →