Theorem PosNum.cast_bit1

Modification history