3 ms·The proof of the classification of finite simple groups is bigger than that.by tzs 1mo agoThe proof of the classification of finite simple groups is bigger than that.