Commit 2025-04-19 14:06 9bc7ea29
View on Github →chore(Algebra/BigOperators/Group/Finset/Basic): use meaningful letter names (#24123)
All monoids are M
, all groups are G
, all indexing types are ι
or κ
. Also order according to typeclass assumptions