Theorem Nat.Prime.multiplicity_factorial_pow

Modification history

2025-06-16 12:56
Mathlib/Data/Nat/Multiplicity.lean
feat(GroupTheory): add Regular Wreath Product (#24816) …
Added Nat.Prime.multiplicity_factorial_powView on Github →