Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-08 15:41 7b42c714

View on Github →

feat(archive/imo): revive @kbuzzard's imo2019_q1 (#4377)

Estimated changes

added theorem imo2019Q1