Theorem MaximalFor.le_of_le

Modification history

2025-12-04 02:49
Mathlib/Order/Defs/Unbundled.lean
chore(Order/Defs/Unbundled): use `to_dual` (#32378) …
Deleted MaximalFor.le_of_leView on Github →
2025-04-18 17:03
Mathlib/Order/Defs/Unbundled.lean
feat: minimality with respect to a function (#23706) …
Added MaximalFor.le_of_leView on Github →