Theorem Ordinal.nat_cast_pos

Modification history