∫ Утверждение Mathlib
is_poly
Mathlib.Tactic.Attr.Register
URI: https://scilib.ai/kg/mathlib#Parser.Attr.is_poly
∫ Утверждение Mathlib
Mathlib.Tactic.Attr.Register
URI: https://scilib.ai/kg/mathlib#Parser.Attr.is_poly