Theorem Ordinal.natCast_div

Modification history