Commit 2023-06-21 05:19 7bdabbeb

View on Github →

feat: golf IMO 2006 q3 (#5319)

Estimated changes

modified theorem Imo2006Q3.four_pow_four_pos
deleted theorem Imo2006Q3.lhs_identity
modified theorem Imo2006Q3.mid_ineq
modified theorem Imo2006Q3.rhs_ineq