Theorem PosNum.cast_one

Modification history