Nostr

🇰 🇷 🇾 🇵 🇹 🇮 🇽 1y ago

∀x,y[(W(x)→(A(x)∧U(x)))∧(x



=y→(W(x)→¬R(x,y)))]

🤔

Reply to this note

Please Login to reply.

Discussion

🇰 🇷 🇾 🇵 🇹 🇮 🇽 1y ago