Okay, but that's not a reason to jump to the conclusion of bad citation practice...

		orra on Jan 20, 2023 \| parent \| context \| favorite \| on: Formalising a new proof that the square root of tw... Okay, but that's not a reason to jump to the conclusion of bad citation practices.