Theorem Cardinal.isNormal_aleph

Modification history