Def OrderIso.mapSetOfPredMaximal

Modification history

2026-07-28 08:12
Mathlib/Order/Minimal.lean
chore: finish renaming `setOf` to `Set.ofPred` (#42172) …
Added OrderIso.mapSetOfPredMaximalView on Github →