Theorem ZNum.cast_mul

Modification history