Def OrderIso.mapSetOfPredMinimal

Modification history

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