Theorem imo1982_q3a

Modification history

2024-12-18 01:10
Archive/Imo/Imo1982Q3.lean
feat(Archive/Imo): formalize IMO 1982q3 (#16190) …
Added imo1982_q3aView on Github →