Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.prime.multiplicity_choose_aux

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_choose_aux View on Github →