invertibility

دیسه‌ای
∀𝑥 ∃𝑦 𝑥+𝑦=0
∀x ∃y x+y=0


تاربرگ‌های پیموده‌شده در این نشست: Contingentism intentionality lattice commutativity least upper bound Boolean algebra