Theorem Ordinal.nat_cast_eq_zero

Modification history