Theorem Ordinal.nat_cast_sub

Modification history