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

coeff_congr_lhs

Mathlib.Tactic.ComputeDegree

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

← MathLib Explorer