Def MaximalFor

Modification history

2025-12-04 02:49

Mathlib/Order/Defs/Unbundled.lean

chore(Order/Defs/Unbundled): use `to_dual` (#32378) …

Deleted MaximalFor View on Github →

2025-04-18 17:03

Mathlib/Order/Defs/Unbundled.lean

feat: minimality with respect to a function (#23706) …

Added MaximalFor View on Github →