Commit 2024-11-07 23:49 dc0ee85f
View on Github →chore: rename elementalStarAlgebra
and parallelize API (#18664)
#18615 adds non-unital versions of the elemental
(star) algebras: i.e., the topological closure of the algebra generated by a single element.
That PR develops a series of standard lemmas and uniform naming practices. This PR adapts the existing unital elemental
algebras to the naming convention and adjusts the existing lemmas to match API.