factorization_choose_prime_pow — Mathlib · SciLib

∫ Утверждение Mathlib

factorization_choose_prime_pow

Mathlib.Data.Nat.Choose.Factorization

URI: https://scilib.ai/kg/mathlib#Nat.factorization_choose_prime_pow

← MathLib Explorer