Comment on proof

<- View Parent
thisisbutaname@discuss.tchncs.de ⁨2⁩ ⁨months⁩ ago

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

source
Sort:hotnewtop