Theorem Submodule.span_int_eq_addSubgroupClosure

Modification history