Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-06 05:50 89ea423d

View on Github →

feat(archive/imo): formalize IMO 2005 Q3 (#6984) feat(archive/imo): formalize IMO 2005 Q3

Estimated changes

added theorem imo2005_q3
added theorem key_insight