∫ Утверждение Mathlib
Mathlib.Algebra.DualNumber
URI: https://scilib.ai/kg/mathlib#DualNumber.snd_eps
← MathLib Explorer