Theorem Num.cast_zero

Modification history