Theorem Submodule.span_nat_eq_addSubmonoidClosure

Modification history