Theorem ZNum.cast_bit0

Modification history