∫ Утверждение Mathlib
natPow_one_natMod
Mathlib.Tactic.NormNum.PowMod
URI: https://scilib.ai/kg/mathlib#Mathlib.Meta.NormNum.natPow_one_natMod
∫ Утверждение Mathlib
Mathlib.Tactic.NormNum.PowMod
URI: https://scilib.ai/kg/mathlib#Mathlib.Meta.NormNum.natPow_one_natMod