Theorem Imo1994Q1.tedious

Modification history

2024-07-01 02:54

Archive/Imo/Imo1994Q1.lean

chore: move toolchain to v4.10.0-rc1 and merge bump/v4.10.0 (#14311)

Modified Imo1994Q1.tedious View on Github →

2023-06-16 10:41

Archive/Imo/Imo1994Q1.lean

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

Added Imo1994Q1.tedious View on Github →