Theorem Polynomial.fiberEquivQuotient_tmul

Modification history

2026-02-06 15:35
Mathlib/RingTheory/LocalRing/ResidueField/Polynomial.lean
feat(RingTheory): local structure of monogenic unramified algebras (#33903)
Added Polynomial.fiberEquivQuotient_tmulView on Github →