Theorem multiplicity_one_right

Modification history

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