Commit 2024-10-28 15:52 31142eae
View on Github →feat(Archive/Imo): formalize IMO 1982q1 (#16883) Formalized question 1 of the 1982 IMO. Made a mistake with my original PR as I made a branch from Imo1982Q3, this should be fixed now. Fixed the domain of the function to be the positive naturals according to @vihdzp comments - took less effort than expected. Please let me know if I have made a mistake or if there are any further comments or improvements.