Theorem Ordinal.isLimit_add

Modification history