Commit 2023-06-16 10:41 16e3f88c

View on Github →

feat: port Archive.Imo.Imo1994Q1 (#5125)

Estimated changes

Modified Archive.lean

Created Archive/Imo/Imo1994Q1.lean

added theorem Imo1994Q1.tedious

added theorem imo1994_q1