e/Dvoretzky's theorem

Information
has gloss	eng: In mathematics, in the theory of Banach spaces, Dvoretzky's theorem is an important structural theorem proved by Aryeh Dvoretzky in the early 1960s . It answered a question of Alexander Grothendieck. A new proof found by Vitali Milman in the 1970s was one of the starting points for the development of asymptotic functional analysis (also called the local theory of Banach spaces) .
lexicalization	eng: Dvoretzky's theorem
instance of	e/Banach space

Meaning
Hebrew
has gloss	heb: במתמטיקה, ובמיוחד בתורה של מרחבי בנך, משפט דבורצקי הוא משפט מבנה חשוב אשר הוכח על ידי המתמטיקאי הישראלי אריה דבורצקי בתחילת שנות ה-60 של המאה ה-20. המשפט ענה על שאלה שנוסחה על ידי אלכסנדר גרותנדיק. הוכחה חדשה למשפט, שהתגלתה על ידי ויטלי מילמן בשנות ה-70 של המאה ה-20, הייתה אחת התגליות אשר הביאו לפיתוח התורה הלוקלית של מרחבי בנך.
lexicalization	heb: משפט דבורצקי