Comment on proof

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

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

source
Sort:hotnewtop