Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-27 01:48 1eb12937

View on Github →

feat(archive/imo): formalize IMO 2011 problem Q3 (#5842)

Estimated changes

added theorem imo2011_q3