Theorem Submodule.Fg.pow

Modification history