← All videosIMO 2025 Problem 6 - *FINAL BOSS* is here! And it's *combinatorics*!Dedekind cutsWatch laterShare