מִשְׁפַּט הַמְּמַדִּים (בשפות אחרות ידוע בשם זהות גראסמן או נוסחת גראסמן, על⁻שם הרמן גראסמן) הוא משפט באלגברה ליניארית האומר כי סכום הממדים של שני מרחבים וקטוריים פחות ממד החיתוך שלהם שווה לממד הסכום שלהם. בצורה פורמלית: מתוך ויקיפדיה

משפט המושבעים של קונדורסה, משפט המטריזציה של אוריסון, משפט המיון לחבורות פשוטות סופיות, משפט המיון של החבורות הפשוטות הסופיות, משפט המיון של חבורות פשוטות סופיות, משפט המימדים עבור העתקות לינאריות, משפט המינימום של ויירשטראס, משפט המינימקס, משפט המיפוי הרציף, משפט המיפוי של רימן