Commit 2022-05-08 16:31 69c07a4b
View on Github →feat(linear_algebra/linear_pmap): mk_span_singleton of the same point (#14029)
One more lemma about mk_span_singleton' and slightly better lemma names.
feat(linear_algebra/linear_pmap): mk_span_singleton of the same point (#14029)
One more lemma about mk_span_singleton' and slightly better lemma names.