Theorem multiplicity_of_isUnit_left

Modification history

2026-10-07 11:06
Mathlib/RingTheory/Multiplicity.lean
feat(RingTheory): multiplicity at an irreducible element (#40301) …
Added multiplicity_of_isUnit_leftView on Github →