Comment on proof

<- View Parent
thisisbutaname@discuss.tchncs.de ⁨4⁩ ⁨weeks⁩ ago

No connection language-wise, they’re just saying both are true

source
Sort:hotnewtop