Theorem PosNum.cast_succ

Modification history