Theorem bit0_eq_zero

Modification history