Theorem Submodule.span_singleton_eq_span_singleton

Modification history