P
Initializing...
Silver: if SCH holds at all singular strong limits of countable cofinality, SCH holds · Prove2Me