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

natDegree_natCast_le

Mathlib.Tactic.ComputeDegree

URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.ComputeDegree.natDegree_natCast_le

← MathLib Explorer