GeometricAssertion

GeometricAssertion[obj, prop] represents the assertion that the geometric object obj satisfies prop.

• GeometricAssertion[{obj1, obj2, …}, prop] represents the assertion that the obji satisfy prop.
• GeometricAssertion[objs, prop1, prop2, …] represents the assertion that objs satisfies each of the propi.

Examples

GeometricAssertion[Triangle[{a, b, c}], "Equilateral"]

GeometricAssertion[{Line[{a, b}], Line[{c, d}]}, "Parallel"]

Please visit the official Wolfram Language Reference for more details.