feat(CategoryTheory/Galois): finite G
-sets are a `PreGaloisCategory…
#6237
The logs for this run have expired and are no longer available.
Loading
G
-sets are a `PreGaloisCategory…
#6237