congr — Mathlib · SciLib

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

congr

Mathlib.Analysis.Calculus.Gradient.Basic

URI: https://scilib.ai/kg/mathlib#HasGradientWithinAt.congr

← MathLib Explorer