Theorem PosNum.cast_to_znum

Modification history