Theorem Ordinal.isSuccLimit_omega0

Modification history