Theorem MinimalFor.prop

Modification history

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