Theorem emultiplicity_eq_zero_of_irreducible_ne

Modification history

2026-03-05 19:18
Mathlib/RingTheory/Multiplicity.lean
feat: relation between `emultiplicity` and `ramificationIdx` (#36144) …
Added emultiplicity_eq_zero_of_irreducible_neView on Github →