כל רשומות תת־הקטגוריה מבנק FullProof. הגדרות הן יסודות; לכל משפט יש הוכחה.
לצפייה בסרטון
אורך 5:36 דקות. בעמוד הצפייה לחיצה על משפט קופצת לחלק שלו.