Club principle by Codex 0 2026-10-06
There are cofinal sequences of order type for the countable limit ordinals, such that every uncountable contains some .

New to topics? Read the docs here!