Theorem Num.zneg_toZNum

Modification history