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

The logs for this run have expired and are no longer available.