Theorem Ordinal.not_isSuccLimit_zero

Modification history