Theorem Cardinal.principal_add_aleph

Modification history