Theorem Ordinal.apply_lt_nfpBFamily_iff

Modification history

2025-04-23 11:03
Mathlib/SetTheory/Ordinal/FixedPoint.lean
chore: delete >6 month old deprecations (2024-10 11-21) (#24271) …
Deleted Ordinal.apply_lt_nfpBFamily_iffView on Github →
2023-03-28 23:29
Mathlib/SetTheory/Ordinal/FixedPoint.lean
feat: port ordinal fixed point changes (#3155) …
Added Ordinal.apply_lt_nfpBFamily_iffView on Github →