Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-08 06:49 c6b06369

View on Github →

feat(archive/imo): formalize IMO 2008 Q3 (#7025)

Estimated changes

added theorem imo2008_q3
added theorem p_lemma