Theorem PosNum.cast_mul

Modification history