Theorem Imo1982Q1.IsGood.superadditive

Modification history

2025-08-03 07:56
Archive/Imo/Imo1982Q1.lean
chore: replace `norm_num` with `simp` where applicable (#24064) …
Modified Imo1982Q1.IsGood.superadditiveView on Github →
2024-10-28 15:52
Archive/Imo/Imo1982Q1.lean
feat(Archive/Imo): formalize IMO 1982q1 (#16883) …
Added Imo1982Q1.IsGood.superadditiveView on Github →