No, the point I'm making is that there are conflicting definitions of proof here...

		lordnacho on July 15, 2023 \| parent \| context \| favorite \| on: How to store a permutation compactly (2022) No, the point I'm making is that there are conflicting definitions of proof here. The same word means different things.