Theorem zsmul_int_one

Modification history