Commit 2025-08-13 04:42 ed1d9d55
View on Github →chore(Algebra): move some Star
defs to more appropriate homes (#28252)
Defining Star
instances in some files causes collisions with guards against import creep. This PR is a minor fix for this that moves a few definitions and basic results "further back". A more substantial Defs/Basic split may be needed beyond this, but that's a more substantial task.