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

isDiameter_iff_ofDiameter_eq

Mathlib.Geometry.Euclidean.Sphere.Basic

URI: https://scilib.ai/kg/mathlib#EuclideanGeometry.Sphere.isDiameter_iff_ofDiameter_eq

← MathLib Explorer