Commit 2025-06-23 08:19 5fbc6e5c

View on Github →

feat(FieldTheory/Galois/IsGaloisGroup): Remove finiteness assumption from card_eq_finrank (#26187) This PR removes the finiteness assumption from IsGaloisGroup.card_eq_finrank.

Estimated changes