Commit 2022-09-20 01:29 9019542b

View on Github →

feat(data/complex/module): get smul_comm_class ℝ M E from the one for (#16513) This makes it so all the pieces are in places to realize a non-unital -algebra as a non-unital -algebra.

Estimated changes