Theorem PosNum.dvd_to_nat

Modification history