Comment on proof

<- View Parent
thisisbutaname@discuss.tchncs.de ⁨1⁩ ⁨year⁩ ago

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

source
Sort:hotnewtop