Theorem Ordinal.apply_lt_nfpBFamily_iff

Modification history

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 →