3 ms·Most overrated isomorphism in the history of machine-assisted proof.by auggierose 1y agoMost overrated isomorphism in the history of machine-assisted proof.