Theorem Ordinal.isSuccLimit_opow

Modification history