Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-08 08:27 bc55cd78

View on Github →

feat(archive/imo) : Add solution to IMO 1994 Q1 (#10171) IMO 1994 Q1

Estimated changes

added theorem imo1994_q1
added theorem tedious