Theorem MinimalFor.maximalFor_of_strictAntiOn_comp

Modification history

2026-07-17 09:57

Mathlib/Order/Minimal.lean

chore(Data): rename `setOf` to `Set.ofPred` (#41507) …

Modified MinimalFor.maximalFor_of_strictAntiOn_comp View on Github →

2026-01-31 20:13

Mathlib/Order/Minimal.lean

feat(Order/Minimal): uncompose `MinimalFor`/`MaximalFor` with a strictly monotonic function (#34655)

Added MinimalFor.maximalFor_of_strictAntiOn_comp View on Github →