let R be domRing; :: thesis: for V being RightMod of R
for A, B being Subset of V holds Lin (A /\ B) is Submodule of (Lin A) /\ (Lin B)
let V be RightMod of R; :: thesis: for A, B being Subset of V holds Lin (A /\ B) is Submodule of (Lin A) /\ (Lin B)
let A, B be Subset of V; :: thesis: Lin (A /\ B) is Submodule of (Lin A) /\ (Lin B)
( Lin (A /\ B) is Submodule of Lin A & Lin (A /\ B) is Submodule of Lin B ) by Th73, XBOOLE_1:17;
hence Lin (A /\ B) is Submodule of (Lin A) /\ (Lin B) by RMOD_3:20; :: thesis: verum