let K be Ring; :: thesis: for V being LeftMod of K
for A, B being Subset of V holds Lin (A /\ B) c= (Lin A) /\ (Lin B)
let V be LeftMod of K; :: thesis: for A, B being Subset of V holds Lin (A /\ B) c= (Lin A) /\ (Lin B)
let A, B be Subset of V; :: thesis: Lin (A /\ B) c= (Lin A) /\ (Lin B)
Lin (A /\ B) is Subspace of (Lin A) /\ (Lin B) by MOD_3:20;
hence Lin (A /\ B) c= (Lin A) /\ (Lin B) by Def7; :: thesis: verum