Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-30 17:12 33f443fc

View on Github →

feat(archive/imo): add 2011 Q5 (#6927) proof of IMO 2011 Q5

Estimated changes

added theorem imo2011_q5