Theorem even_bit0

Modification history