pow_succ_factorization_not_dvd — Mathlib · SciLib

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

pow_succ_factorization_not_dvd

Mathlib.Data.Nat.Factorization.Defs

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

← MathLib Explorer