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.

Estimated changes