Theorem Ordinal.isSuccLimit_add

Modification history