P
Initializing...
The least counterexample to SCH has countable cofinality · Prove2Me