Commit 2026-06-08 10:43 59718e86
View on Github →feat(RingTheory/RamificationInertia/Basic): ramification-inertia formula for finite flat extensions (#39189) This PR proves the ramification-inertia formula for finite flat extensions.
feat(RingTheory/RamificationInertia/Basic): ramification-inertia formula for finite flat extensions (#39189) This PR proves the ramification-inertia formula for finite flat extensions.