Theorem Submodule.FG.finite_generators

Modification history