Theorem Cardinal.isNormal_preAleph

Modification history