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

one_natPow

Mathlib.Tactic.NormNum.Pow

URI: https://scilib.ai/kg/mathlib#Mathlib.Meta.NormNum.one_natPow

← MathLib Explorer