▲ 1 pointsWhen are two proofs of the same theorem different proofsmathoverflow.netby nill0·1y ago·0 comments·view on hn ↗