Theorem imo1977_q6

Modification history

2026-08-25 20:09

Archive/Imo/Imo1977Q6.lean

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

Deleted imo1977_q6 View on Github →

2023-06-16 11:05

Archive/Imo/Imo1977Q6.lean

feat: port Archive.Imo.Imo1977Q6 (#5131)

Added imo1977_q6 View on Github →