Theorem PosNum.cast_sub'

Modification history