Theorem UniqueFactorizationMonoid.associated_finprod_pow_count

Modification history

2026-03-11 20:11
Mathlib/RingTheory/UniqueFactorizationDomain/Multiplicity.lean
feat(RingTheory/UniqueFactorizationDomain/Multiplicity): more API (#36381) …
Added UniqueFactorizationMonoid.associated_finprod_pow_countView on Github →