mathlib3
6585eff9 - feat(archive/imo): formalize IMO 2013 problem Q5 (#5787)

Commit

4 years ago

feat(archive/imo): formalize IMO 2013 problem Q5 (#5787) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

Author

dwrensha

Parents