Theorem Imo1982Q1.IsGood.superadditive

Modification history

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