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

משפט לינץ', משפט לסקר⁻נתר, משפט לרוס, משפט מאייר⁻ויאטוריס, משפט מאשקה, משפט מוסלמי, משפט מטריצת העץ של קירכהוף, משפט מיהיל⁻נרוד, משפט מיטאג⁻לפלר, משפט מייהיל⁻נרוד