Theorem imo1982_q1

Modification history

2024-10-28 15:52
Archive/Imo/Imo1982Q1.lean
feat(Archive/Imo): formalize IMO 1982q1 (#16883) …
Added imo1982_q1View on Github →