Theorem ZNum.of_nat_toZNum

Modification history