¬∃x(∀y(y∈x↔y∉y))@programming.dev to 196@lemmy.blahaj.zoneEnglish · 9 months agoclippy ruleprogramming.devimagemessage-square20linkfedilinkarrow-up1179arrow-down11
arrow-up1178arrow-down1imageclippy ruleprogramming.dev¬∃x(∀y(y∈x↔y∉y))@programming.dev to 196@lemmy.blahaj.zoneEnglish · 9 months agomessage-square20linkfedilink