Theorem multiplicity_zero_right

Modification history

2026-09-11 16:02
Mathlib/RingTheory/Multiplicity.lean
chore(RingTheory/Multiplicity): generalize API (#43716) …
Added multiplicity_zero_rightView on Github →