Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-06 01:49 1e1eaae6

View on Github →

feat(archive/imo): formalize IMO 2008 Q2 (#6958)

Estimated changes

Created archive/imo/imo2008_q2.lean

added theorem imo2008_q2a

added theorem imo2008_q2b

added def rational_solutions

added theorem subst_abc