Theorem Num.toZNum_inj

Modification history