Theorem PosNum.size_to_nat

Modification history