Theorem Submodule.span_singleton_group_smul_eq

Modification history