e/Quotient of subspace theorem

Information
has gloss	eng: The quotient of subspace theorem is an important property of finite dimensional normed spaces, discovered by Vitali Milman.
lexicalization	eng: Quotient of subspace theorem
instance of	e/Banach space