Theorem Imo1982Q3.le_avg

Modification history

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