The classification of finite simple groups. From an outsider's perspective, it's ream upon ream of brutal case analysis. Some will certainly find beauty in the thousands of pages; the historicity nature of the ~150y effort is undeniable and awe-inspiring.

Classification theorems, in general, are frequently beautiful in their structure. But they often involve delving deep into rabbit holes, in order to prove the non-existence of the impossible.