Theorem Num.to_nat_to_int

Modification history