signedDist_neg — Mathlib · SciLib

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

signedDist_neg

Mathlib.Geometry.Euclidean.SignedDist

URI: https://scilib.ai/kg/mathlib#signedDist_neg

← MathLib Explorer