Theorem Submodule.span_singleton_smul_eq

Modification history