If they are irrelevant details then that should not count as a new proof, in my ...

		galaxyLogic on April 9, 2023 \| parent \| context \| favorite \| on: New Orleans teenagers found a new proof of the Pyt... If they are irrelevant details then that should not count as a new proof, in my opinion. I guess it might be possible to have a "canonic form" of a proof so that if two proofs can be reduced to the same canonic proof then they are in fact the same proof.