∫ Утверждение Mathlib
preimage_perpBisector
Mathlib.Geometry.Euclidean.PerpBisector
URI: https://scilib.ai/kg/mathlib#Isometry.preimage_perpBisector
∫ Утверждение Mathlib
Mathlib.Geometry.Euclidean.PerpBisector
URI: https://scilib.ai/kg/mathlib#Isometry.preimage_perpBisector