Theorem Rat.cast_bit0

Modification history