scratch
§
Relationship Between Linearity and Contradiction
created 2022-05-30
https://xorshammer.com/2021/04/08/but-why-is-proof-by-contradiction-non-constructive/
❦