Theorem Ideal.submodule_span_eq

Modification history