Theorem PosNum.to_nat_to_int

Modification history