Commit 2020-10-04 09:48 509dd9ea
View on Github →feat(linear_algebra/basic): span_singleton smul lemmas (#4394)
Add two submodule lemmas relating span R ({r • x})
and span R {x}
.
feat(linear_algebra/basic): span_singleton smul lemmas (#4394)
Add two submodule lemmas relating span R ({r • x})
and span R {x}
.