Theorem imo2019_q1

Modification history

2026-08-25 20:09

Archive/Imo/Imo2019Q1.lean

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

Deleted imo2019_q1 View on Github →

2023-06-18 09:07

Archive/Imo/Imo2019Q1.lean

feat: port Archive.Imo.Imo2019Q1 (#5211)

Added imo2019_q1 View on Github →