Commit 2025-06-17 04:38 dd11af07
View on Github →refactor(NumberTheory/RamificationInertia/Galois): Generalize action on primesOver to arbitrary group (#25995)
This PR generalizes the action of B ≃ₐ[A] B on primesOver p B to an arbitrary group action. Nothing is lost since the action of B ≃ₐ[A] B on primesOver p B automatically satisfies the typeclass assumptions.