Theorem PosNum.add_to_nat

Modification history