Theorem odd_two_mul_add_one

Modification history