Theorem Imo1961Q3

Modification history

2026-08-25 20:09
Archive/Imo/Imo1961Q3.lean
chore(Archive/Imo): convert to the module system (#42962) …
Deleted Imo1961Q3View on Github →
2024-08-21 11:26
Archive/Imo/Imo1961Q3.lean
feat(Archive/Imo): formalize IMO 1961q3 (#9883)
Added Imo1961Q3View on Github →