∫ Утверждение Mathlib
excenterWeightsUnnorm_compl
Mathlib.Geometry.Euclidean.Incenter
URI: https://scilib.ai/kg/mathlib#Affine.Simplex.excenterWeightsUnnorm_compl
∫ Утверждение Mathlib
Mathlib.Geometry.Euclidean.Incenter
URI: https://scilib.ai/kg/mathlib#Affine.Simplex.excenterWeightsUnnorm_compl