Theorem Submodule.FG.map₂

Modification history