TensorProduct): missing lemma
#19242

Closed

chore(LinearAlgebra/DirectSum/TensorProduct): missing lemma #19242

eric-wieser wants to merge 1 commit into master from eric-wieser/directSum_symm_lof_tmul

chore(LinearAlgebra/DirectSum/TensorProduct): missing lemma

cbcc3f30

eric-wieser added easy

eric-wieser added awaiting-review

eric-wieser added awaiting-CI

eric-wieser added t-algebra

github-actions added modifies-synchronized-file

eric-wieser closed this 2 years ago

YaelDillies deleted the eric-wieser/directSum_symm_lof_tmul branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

easy awaiting-review awaiting-CI t-algebra modifies-synchronized-file

Milestone

No milestone