basic): some helper lemmas for linear maps over algebras (#16200)

Commit

3 years ago

chore(algebra/algebra/basic): some helper lemmas for linear maps over algebras (#16200)

Author

eric-wieser

Parents