Theorem Imo2006Q3.rhs_ineq

Modification history

2023-06-21 05:19
Archive/Imo/Imo2006Q3.lean
feat: golf IMO 2006 q3 (#5319)
Modified Imo2006Q3.rhs_ineqView on Github →
2023-06-17 05:05
Archive/Imo/Imo2006Q3.lean
feat: port Archive.Imo.Imo2006Q3 (#5123)
Added Imo2006Q3.rhs_ineqView on Github →