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

zero_natPow

Mathlib.Tactic.NormNum.Pow

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

← MathLib Explorer