Theorem Submodule.span_nat_eq_addSubmonoid_closure

Modification history