Theorem Submodule.span_eq

Modification history