4 ms·
They should feed it the classification of finite simple groups and get it to simplify it/turn it more constructive.
by foota 5mo ago
They should feed it the classification of finite simple groups and get it to simplify it/turn it more constructive.