Mathlib v3 is deprecated. Go to Mathlib v4

Theorem behrend.log_two_mul_two_le_sqrt_log_eight

Modification history