[Merged by Bors] - feat(GroupTheory/SpecificGroups/Alternating/Centralizer): compute the centralizer of a permutation in the alternating group#17047
Closed
AntoineChambert-Loir wants to merge 176 commits intomasterfrom ACL/ConjClassCount-3
Commits
Commits on Dec 29, 2023
- committed
Antoine Chambert-Loir
Commits on Dec 30, 2023
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
Commits on Dec 31, 2023
- committedAntoine Chambert-Loir
Commits on Jan 8, 2024
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
Commits on Jan 9, 2024
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
Commits on Jan 10, 2024
Commits on Jan 18, 2024
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
Commits on Jan 23, 2024
- committedAntoine Chambert-Loir
- committedAntoine Chambert-Loir
Commits on Feb 13, 2024
Commits on Feb 23, 2024
Commits on Feb 24, 2024
Commits on Apr 1, 2024
Commits on Apr 18, 2024
Commits on Apr 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 18, 2024
Commits on Jul 19, 2024
Commits on Jul 30, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 31, 2024
Commits on Aug 1, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Aug 2, 2024
Commits on Aug 3, 2024
Commits on Aug 4, 2024
Commits on Aug 5, 2024
Commits on Aug 6, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 7, 2024
Commits on Sep 9, 2024
- committed
Commits on Sep 13, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
Commits on Sep 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'ACL/ConjClassCount' of https://github.com/leanprover-community/mathlib4 into ACL/ConjClassCount
committed- committed
- committed
Commits on Sep 15, 2024
Commits on Sep 20, 2024
- committed
Commits on Sep 23, 2024
Commits on Sep 27, 2024
Commits on Sep 30, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 1, 2024
Commits on Oct 7, 2024
- committed
Commits on Oct 9, 2024
Commits on Oct 28, 2024
Commits on Oct 30, 2024
- committed
- committed
Commits on Nov 13, 2024
Commits on Feb 1, 2025
- committed
Commits on Feb 5, 2025
Commits on Feb 6, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
Commits on Feb 21, 2025
- committed
- authored
- committed
