Theorem Combinatorics.Subspace.exists_mono_in_high_dimension

Modification history