Comment on proof

<- View Parent
thisisbutaname@discuss.tchncs.de ⁨19⁩ ⁨hours⁩ ago

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

source
Sort:hotnewtop