feat(CategoryTheory/Galois): finite G
-sets are a `PreGaloisCategory…
#6237
Job | Run time |
---|---|
4s | |
10s | |
22s | |
1h 10m 4s | |
9s | |
11s | |
1h 11m 0s |
G
-sets are a `PreGaloisCategory…
#6237
Job | Run time |
---|---|
4s | |
10s | |
22s | |
1h 10m 4s | |
9s | |
11s | |
1h 11m 0s |