Def MinimalFor

Modification history

2025-04-18 17:03
Mathlib/Order/Defs/Unbundled.lean
feat: minimality with respect to a function (#23706) …
Added MinimalForView on Github →