basic): lemmas about triple products of repeated vectors (#16153)

Commit

3 years ago

feat(linear_algebra/clifford_algebra/basic): lemmas about triple products of repeated vectors (#16153)

Author

eric-wieser

Committer

b-mehta

Parents