Theorem PosNum.cast_to_int

Modification history