Theorem MinimalFor.le_of_le

Modification history

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