Theorem ZNum.mul_to_int

Modification history