Theorem multiplicity_one_left

Modification history

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