4 ms·
$p,q \vdash p$ — sorry, I was pretty sure it was obvious to anyone, but I guess my handwriting wasn't that good.
by adimitrov 15y ago
$p,q \vdash p$ — sorry, I was pretty sure it was obvious to anyone, but I guess my handwriting wasn't that good.