4 ms·
The result of a prove is a theorem. I don't see any claim in the article that any two proofs of the same theorem are essentially the same?
by red_trumpet 2y ago
The result of a prove is a theorem. I don't see any claim in the article that any two proofs of the same theorem are essentially the same?