Theorem Order.IsNormal.iSup_iterate_mem_fixedPoints

Modification history

2026-05-21 00:46
Mathlib/Order/IsNormal.lean
feat: club sets (#37677) …
Added Order.IsNormal.iSup_iterate_mem_fixedPointsView on Github →