Theorem Submodule.mul_eq_span_mul_set

Modification history