∀ (𝕜 : Type u_2) (E : Type u_1) [inst : Ring 𝕜] [inst_1 : PartialOrder 𝕜] [inst_2 : AddCommGroup E]
  [inst_3 : Module 𝕜 E] (K L : Geometry.SimplicialComplex 𝕜 E) {s : Finset E},
  s ∈ K.faces ∩ L.faces → AffineIndependent 𝕜 Subtype.val