Theorem Behrend.log_two_mul_two_le_sqrt_log_eight

Modification history