Theorem isStationary_sUnion_iff_of_cof_le_one

Modification history

2026-06-21 22:46
Mathlib/SetTheory/Cardinal/Cofinality/Club.lean
feat: stationary sets (#39727) …
Added isStationary_sUnion_iff_of_cof_le_oneView on Github →