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

revAt_eq_self_of_lt

Mathlib.Algebra.Polynomial.Reverse

URI: https://scilib.ai/kg/mathlib#Polynomial.revAt_eq_self_of_lt

← MathLib Explorer