Theorem multiplicity_zero_left

Modification history

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