∫ Утверждение Mathlib
_aux_Mathlib_Algebra_Polynomial_Bivariate___macroRules_Polynomial_Bivariate_termY_1
Mathlib.Algebra.Polynomial.Bivariate
URI: https://scilib.ai/kg/mathlib#Polynomial.Bivariate._aux_Mathlib_Algebra_Polynomial_Bivariate___macroRules_Polynomial_Bivariate_termY_1