Theorem Cardinal.isSuccLimit_omega

Modification history