Theorem Imo1982Q1.IsGood.le_mul_three_apply

Modification history

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