Skip to content
Back to pull request #10228

[Merged by Bors] - feat(CategoryTheory/Galois): characterisation of connected finite G-sets #40081

Sign in to view logs

[Merged by Bors] - feat(CategoryTheory/Galois): characterisation of connected finite G-sets

[Merged by Bors] - feat(CategoryTheory/Galois): characterisation of connected finite G-sets #40081

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Add annotations
19s
19s