Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-13 13:23 55cd1047

View on Github →

feat(archive/imo/imo1975_q1): Add the formalization of IMO 1975 Q1 (#13047)

Estimated changes

added theorem IMO_1975_Q1