Theorem ZNum.cast_zero

Modification history