User:Barto

Modules

 * Free Module Indexed by Set is Free
 * Canonical Basis of Free Module Indexed by Set is Basis
 * Correspondence between multilinear maps and linear maps to spaces of multilinear maps.
 * Universal Property of Free Modules
 * Universal Property of Direct Product of Modules
 * Consider merging Direct Product of Modules is Module, Module Product, Module on Cartesian Product