basic): smul_mul_smul (#6423)

Commit

4 years ago

feat(algebra/algebra/basic): smul_mul_smul (#6423) An identity for algebras. (this PR is part of the irreducibility saga)

Author

tb65536

Parents