Commit 2022-02-28 12:46 92cbcc32
View on Github →chore(algebra): move star_ring structure on free_algebra (#12297)
There's no need to have algebra.star.basic imported transitively into pretty much everything, just to put the star_ring structure on free_algebra, so I've moved this construction to its own file.
(I was changing definitions in algebra.star.basic to allow for more non-unital structures, it recompiling was very painful because of this transitive dependence.)