Linear subspace/Intersection/Dimension estimate/Fact
Let be a field, and let be a -vector space of dimension . Let denote linear subspaces of dimensions and .
Then
Let be a field, and let be a -vector space of dimension . Let denote linear subspaces of dimensions and .