Commit 2025-06-23 08:19 1ad3b0ed
View on Github →chore(Topology/Algebra/Semigroup): reduce import (#26257) This was found by shake in the testing branch #26253
chore(Topology/Algebra/Semigroup): reduce import (#26257) This was found by shake in the testing branch #26253