Theorem imo2020_q2

Modification history

2026-08-25 20:09

Archive/Imo/Imo2020Q2.lean

chore(Archive/Imo): convert to the module system (#42962) …

Deleted imo2020_q2 View on Github →

2023-06-16 10:52

Archive/Imo/Imo2020Q2.lean

feat: port Archive.Imo.Imo2020Q2 (#5135)

Added imo2020_q2 View on Github →