Skip to content
lint and suggest

[Merged by Bors] - feat(GroupTheory/Perm/Centralizer): study the centralizer of a permutation #79829

Sign in to view logs

[Merged by Bors] - feat(GroupTheory/Perm/Centralizer): study the centralizer of a permutation

[Merged by Bors] - feat(GroupTheory/Perm/Centralizer): study the centralizer of a permutation #79829

Triggered via pull request January 30, 2025 23:54
@AntoineChambert-LoirAntoineChambert-Loir
synchronize #17522
ACL/ConjClassCount-25
Status Success
Total duration 1m 24s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 17s
Lint style
Check all files imported
38s
Check all files imported
Fit to window
Zoom out
Zoom in