Theorem not_is_max

Modification history

2022-11-24 15:22

Mathlib/Order/Max.lean

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

Deleted not_is_max View on Github →

2022-11-18 04:15

Mathlib/Order/Max.lean

feat: port Order.Max (#567) …

Added not_is_max View on Github →