Theorem Submodule.span_singleton_eq_range

Modification history