Theorem MaximalFor.not_prop_of_gt

Modification history

2026-04-08 17:43
Mathlib/Order/Minimal.lean
chore(Order/Minimal): use `to_dual` (#37732)
Deleted MaximalFor.not_prop_of_gtView on Github →
2026-01-27 18:36
Mathlib/Order/Minimal.lean
feat(Order/Minimal): Minimal is equivalent to IsLeast if LE is total (#34388) …
Added MaximalFor.not_prop_of_gtView on Github →