Theorem PosNum.cast_to_nat

Modification history