ستوارش
برابر انگلیک (انگلیسی): Assertion


تاربرگ‌های پیموده‌شده در این نشست: A⥽(B⥽B) ⟩ آلن تورینگ ⟩ بنداشت جفت‌سازی ⟩ بنداشت جداسازی ⟩ یاوه