Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.prime.multiplicity_self

Modification history

2019-11-26 14:35

src/data/nat/multiplicity.lean

feat(data/nat/multiplicity): multiplicity_choose and others (#1704)

Added nat.prime.multiplicity_self View on Github →