Theorem imo2001_q6

Modification history

2026-08-25 20:09

Archive/Imo/Imo2001Q6.lean

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

Deleted imo2001_q6 View on Github →

2023-06-15 22:31

Archive/Imo/Imo2001Q6.lean

feat: port Archive.Imo.Imo2001Q6 (#5096)

Added imo2001_q6 View on Github →