Theorem bit0_ne_zero

Modification history