Theorem Ordinal.sub_zero

Modification history