Theorem even_iff_exists_two_mul

Modification history