Theorem Imo1982Q3.ineq

Modification history

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