feat(GroupTheory/GroupAction/Primitive)#12052
Open
AntoineChambert-Loir wants to merge 148 commits intomasterfrom ACL/IwPrimitive
+727-14
Commits
Commits on Apr 5, 2024
Commits on Apr 8, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Apr 9, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 10, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Apr 13, 2024
Commits on Jun 22, 2024
Commits on Jun 24, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 11, 2024
Commits on Jul 12, 2024
Commits on Jul 18, 2024
Commits on Jul 19, 2024
Commits on Jul 28, 2024
Commits on Aug 9, 2024
- committed
Commits on Aug 28, 2024
- committed
- committed
- authored
- committed
Merge branch 'ACL/IwBlocks_Finite2' of https://github.com/leanprover-community/mathlib4 into ACL/IwBlocks_Finite2
committed- committed
- committed
Commits on Aug 29, 2024
- committed
Merge branch 'ACL/IwBlocks_Finite2' of https://github.com/leanprover-community/mathlib4 into ACL/IwBlocks_Finite2
committed- committed
- committed
Commits on Sep 9, 2024
- committed
Commits on Sep 14, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Oct 16, 2024
Commits on Oct 17, 2024
- committed
- committed
- committed
Commits on Oct 28, 2024
- committed
- committed
- committed
- committed
Commits on Oct 30, 2024
Commits on Nov 15, 2024
Commits on Nov 17, 2024
Commits on Nov 18, 2024
Commits on Nov 19, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 25, 2024
Commits on Nov 30, 2024
- committed
- committed