Commit 2024-10-26 11:58 85ae613a
View on Github →feat(Algebra/BigOperators/GroupWithZero/Action): Action of group permutes a product (#18148) This PR adds a couple lemmas for when the action of a group permutes a product.
feat(Algebra/BigOperators/GroupWithZero/Action): Action of group permutes a product (#18148) This PR adds a couple lemmas for when the action of a group permutes a product.