logoalt Hacker News

jlo236502/21/20250 repliesview on HN

I don't think that is that unusual in group theory proofs to be honest. You often break things down into related things and then prove for each collection of related things. And some of those proofs might be straightforward and some might be open problems for years requiring much more advanced techniques.