A module over the integers spanned by a family has rank at most the number of members that are not torsion

Initializing...

A module over the integers spanned by a family has rank at most the number of members that are not torsion · Prove2Me