Commit 2025-08-07 01:38 f92ca810
View on Github →chore(Algebra/Notation): move Pi.single
earlier (#28027)
The definition doesn't need anything about monoids/groups.
This is useful to disentangle Finsupp
results downstream.
chore(Algebra/Notation): move Pi.single
earlier (#28027)
The definition doesn't need anything about monoids/groups.
This is useful to disentangle Finsupp
results downstream.