Theorem Ordinal.one_add_nat_cast

Modification history