predicate


تاربرگ‌های پیموده‌شده در این نشست: sound ⟩ propositional ⟩ Group ⟩ magma ⟩ term ⟩ magma