Theorem Ordinal.succ_zero

Modification history