| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (829 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (643 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (24 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (58 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (76 entries) |
Global Index
A
AddSegmentPoint [definition, in EuclideanGeometry.geom]Angle [definition, in EuclideanGeometry.geom]
ANGLES [section, in EuclideanGeometry.geom]
AngleVvEqRight [lemma, in EuclideanGeometry.geom]
ANGLE_PROPERTIES [section, in EuclideanGeometry.geom]
AntiClockwiseBetweenCongruentOpposedAngles [lemma, in EuclideanGeometry.geom]
AntiClockwiseSupplementAnglesBetween [lemma, in EuclideanGeometry.geom]
Apart [lemma, in EuclideanGeometry.geom]
Archimed [inductive, in EuclideanGeometry.geom]
ArchimedBase [constructor, in EuclideanGeometry.geom]
ArchimedianClosedRay [lemma, in EuclideanGeometry.geom]
ArchimedianDistance [lemma, in EuclideanGeometry.geom]
ArchimedianDistanceLt [lemma, in EuclideanGeometry.geom]
ARCHIMEDIAN_DISTANCE [section, in EuclideanGeometry.geom]
ArchimedRec [constructor, in EuclideanGeometry.geom]
ASATClockwiseCongruent [lemma, in EuclideanGeometry.geom]
ASATCongruent [lemma, in EuclideanGeometry.geom]
B
Between [definition, in EuclideanGeometry.geom]BetweenBetweenElongated [lemma, in EuclideanGeometry.geom]
BetweenBetweenElongated2 [lemma, in EuclideanGeometry.geom]
BetweenBetweenNull3 [lemma, in EuclideanGeometry.geom]
BetweenClockwiseOrClockwiseAB [lemma, in EuclideanGeometry.geom]
BetweenClockwiseOrClockwiseAC [lemma, in EuclideanGeometry.geom]
BetweenClockwiseOrClockwiseBC [lemma, in EuclideanGeometry.geom]
BetweenCollinear [lemma, in EuclideanGeometry.geom]
BetweenDistanceLt [lemma, in EuclideanGeometry.geom]
BetweenDistinctAB [lemma, in EuclideanGeometry.geom]
BetweenDistinctAC [lemma, in EuclideanGeometry.geom]
BetweenDistinctBC [lemma, in EuclideanGeometry.geom]
BetweenElongatedAngle [lemma, in EuclideanGeometry.geom]
BetweenOpenRayAB [lemma, in EuclideanGeometry.geom]
BetweenOpenRayAC [lemma, in EuclideanGeometry.geom]
BetweenOpenRayCA [lemma, in EuclideanGeometry.geom]
BetweenOpenRayCB [lemma, in EuclideanGeometry.geom]
BetweenSegment [lemma, in EuclideanGeometry.geom]
BetweenSupplementAngles [lemma, in EuclideanGeometry.geom]
BetweenSym [lemma, in EuclideanGeometry.geom]
BetweenSymmetricPoint [lemma, in EuclideanGeometry.geom]
BetweenTransABD [lemma, in EuclideanGeometry.geom]
BetweenTransACD [lemma, in EuclideanGeometry.geom]
BetweenTransBCD [lemma, in EuclideanGeometry.geom]
BetweenUuOouU [lemma, in EuclideanGeometry.geom]
BETWEEN_PROP [section, in EuclideanGeometry.geom]
BUILDING_TRIANGLE [section, in EuclideanGeometry.geom]
BUILDING_CLOCKWISE [section, in EuclideanGeometry.geom]
C
CaseNullDistance [lemma, in EuclideanGeometry.geom]Center [definition, in EuclideanGeometry.geom]
ChangeAll [lemma, in EuclideanGeometry.geom]
ChangeAllABAC [lemma, in EuclideanGeometry.geom]
ChangeAllABBC [lemma, in EuclideanGeometry.geom]
ChangeAllABC [lemma, in EuclideanGeometry.geom]
ChangeAllABCA [lemma, in EuclideanGeometry.geom]
ChangeAllABCB [lemma, in EuclideanGeometry.geom]
ChangeAllBCD [lemma, in EuclideanGeometry.geom]
ChangeSense [axiom, in EuclideanGeometry.geom]
ChangeSenseABAC [lemma, in EuclideanGeometry.geom]
ChangeSenseABBC [lemma, in EuclideanGeometry.geom]
ChangeSenseABCA [lemma, in EuclideanGeometry.geom]
ChangeSenseABCB [lemma, in EuclideanGeometry.geom]
ChangeSide [axiom, in EuclideanGeometry.geom]
Chasles [lemma, in EuclideanGeometry.geom]
ChaslesEquiDistant [axiom, in EuclideanGeometry.geom]
ChaslesRec [lemma, in EuclideanGeometry.geom]
Circle [inductive, in EuclideanGeometry.geom]
CIRCLE [section, in EuclideanGeometry.geom]
CIRCLE_AND_DISTANCE [section, in EuclideanGeometry.geom]
Clockwise [axiom, in EuclideanGeometry.geom]
CLOCKWISE [section, in EuclideanGeometry.geom]
ClockwiseABCNotCollinear [lemma, in EuclideanGeometry.geom]
ClockwiseABKStrictParallelogramm [lemma, in EuclideanGeometry.geom]
ClockwiseAMidLineAB [lemma, in EuclideanGeometry.geom]
ClockwiseAMidLineAMidLineB [lemma, in EuclideanGeometry.geom]
ClockwiseAMidLineAMidPoint [lemma, in EuclideanGeometry.geom]
ClockwiseAntiClockwiseBetween [lemma, in EuclideanGeometry.geom]
ClockwiseAntisym [axiom, in EuclideanGeometry.geom]
ClockwiseBACNotCollinear [lemma, in EuclideanGeometry.geom]
ClockwiseBCA [lemma, in EuclideanGeometry.geom]
ClockwiseBCDStrictParallelogramm [lemma, in EuclideanGeometry.geom]
ClockwiseBCKStrictParallelogramm [lemma, in EuclideanGeometry.geom]
ClockwiseBetweenCongruentOpposedAngles [lemma, in EuclideanGeometry.geom]
ClockwiseBMidLineBA [lemma, in EuclideanGeometry.geom]
ClockwiseBMidLineBMidLineA [lemma, in EuclideanGeometry.geom]
ClockwiseCAB [lemma, in EuclideanGeometry.geom]
ClockwiseCDAStrictParallelogramm [lemma, in EuclideanGeometry.geom]
ClockwiseCDKStrictParallelogramm [lemma, in EuclideanGeometry.geom]
ClockwiseDABStrictParallelogramm [lemma, in EuclideanGeometry.geom]
ClockwiseDAKStrictParallelogramm [lemma, in EuclideanGeometry.geom]
ClockwiseDistinctAB [lemma, in EuclideanGeometry.geom]
ClockwiseDistinctBC [lemma, in EuclideanGeometry.geom]
ClockwiseDistinctCA [lemma, in EuclideanGeometry.geom]
ClockwiseExistsClockwise [lemma, in EuclideanGeometry.geom]
ClockwiseMidLineABMidPoint [lemma, in EuclideanGeometry.geom]
ClockwiseNotClockwise [lemma, in EuclideanGeometry.geom]
ClockwiseOoVvUu [lemma, in EuclideanGeometry.geom]
ClockwisePerm [axiom, in EuclideanGeometry.geom]
ClockwiseSupplementAnglesBetween [lemma, in EuclideanGeometry.geom]
ClockwiseSupplementarySupplementary [lemma, in EuclideanGeometry.geom]
ClockwiseuUVvUu [lemma, in EuclideanGeometry.geom]
CLOCKWISE_PROPERTIES [section, in EuclideanGeometry.geom]
ClosedRay [definition, in EuclideanGeometry.geom]
ClosedRayCollinear [lemma, in EuclideanGeometry.geom]
ClosedRayMarkSegmentPoint [lemma, in EuclideanGeometry.geom]
ClosedRayOpenRay [lemma, in EuclideanGeometry.geom]
Collinear [definition, in EuclideanGeometry.geom]
CollinearAAB [lemma, in EuclideanGeometry.geom]
CollinearABA [lemma, in EuclideanGeometry.geom]
CollinearABB [lemma, in EuclideanGeometry.geom]
CollinearACB [lemma, in EuclideanGeometry.geom]
CollinearAddSegmentPoint [lemma, in EuclideanGeometry.geom]
CollinearBAC [lemma, in EuclideanGeometry.geom]
CollinearBCA [lemma, in EuclideanGeometry.geom]
CollinearCAB [lemma, in EuclideanGeometry.geom]
CollinearCBA [lemma, in EuclideanGeometry.geom]
CollinearEquiDirected [lemma, in EuclideanGeometry.geom]
CollinearGraduation [lemma, in EuclideanGeometry.geom]
CollinearNotClockwise [lemma, in EuclideanGeometry.geom]
CollinearTCongruentCollinear [lemma, in EuclideanGeometry.geom]
CollinearThreeCases [lemma, in EuclideanGeometry.geom]
CollinearTrans [lemma, in EuclideanGeometry.geom]
CollinearTwoCases [lemma, in EuclideanGeometry.geom]
COLLINEAR_PROPERTIES [section, in EuclideanGeometry.geom]
Compass [constructor, in EuclideanGeometry.geom]
CongruentAngle [inductive, in EuclideanGeometry.geom]
CongruentAngleCollinear [lemma, in EuclideanGeometry.geom]
CongruentAngleDistinctBA [lemma, in EuclideanGeometry.geom]
CongruentAngleDistinctBC [lemma, in EuclideanGeometry.geom]
CongruentAngleDistinctED [lemma, in EuclideanGeometry.geom]
CongruentAngleDistinctEF [lemma, in EuclideanGeometry.geom]
CongruentAnglePerm [lemma, in EuclideanGeometry.geom]
CongruentAngleRefl [lemma, in EuclideanGeometry.geom]
CongruentAngleRev [lemma, in EuclideanGeometry.geom]
CongruentAngleRev1 [lemma, in EuclideanGeometry.geom]
CongruentAngleRev2 [lemma, in EuclideanGeometry.geom]
CongruentAngleSides [lemma, in EuclideanGeometry.geom]
CongruentAngleSide1 [lemma, in EuclideanGeometry.geom]
CongruentAngleSide2 [lemma, in EuclideanGeometry.geom]
CongruentAnglesParallelogramm [lemma, in EuclideanGeometry.geom]
CongruentAngleSym [lemma, in EuclideanGeometry.geom]
CongruentAngleTrans [lemma, in EuclideanGeometry.geom]
CongruentAngleUuOoAngle [lemma, in EuclideanGeometry.geom]
CongruentElongatedAngle [lemma, in EuclideanGeometry.geom]
CongruentEqAngle [constructor, in EuclideanGeometry.geom]
CongruentItself [lemma, in EuclideanGeometry.geom]
CongruentNullAngle [lemma, in EuclideanGeometry.geom]
CongruentRightAngle [lemma, in EuclideanGeometry.geom]
CongruentSAS [lemma, in EuclideanGeometry.geom]
CongruentSSS [lemma, in EuclideanGeometry.geom]
D
Diameter [definition, in EuclideanGeometry.geom]DiameterlineOoUuuCircle [lemma, in EuclideanGeometry.geom]
DISCRETE_THALES [section, in EuclideanGeometry.geom]
Distance [definition, in EuclideanGeometry.geom]
DISTANCE [section, in EuclideanGeometry.geom]
DistanceEq [lemma, in EuclideanGeometry.geom]
DistanceEqDistanceDistinct [lemma, in EuclideanGeometry.geom]
DistanceGraduation [lemma, in EuclideanGeometry.geom]
DistanceLe [definition, in EuclideanGeometry.geom]
DistanceLeAntisym [lemma, in EuclideanGeometry.geom]
DistanceLeDistancePlus [lemma, in EuclideanGeometry.geom]
DistanceLeDistancePlusDistance [lemma, in EuclideanGeometry.geom]
DistanceLeDistancePlusDistancePlus [lemma, in EuclideanGeometry.geom]
DistanceLeLtTrans [lemma, in EuclideanGeometry.geom]
DistanceLeOo [lemma, in EuclideanGeometry.geom]
DistanceLeRefl [lemma, in EuclideanGeometry.geom]
DistanceLeSegment [lemma, in EuclideanGeometry.geom]
DistanceLeTrans [lemma, in EuclideanGeometry.geom]
DistanceLt [definition, in EuclideanGeometry.geom]
DistanceLtBetween [lemma, in EuclideanGeometry.geom]
DistanceLtDistancePlus [lemma, in EuclideanGeometry.geom]
DistanceNotNull [lemma, in EuclideanGeometry.geom]
DistanceOoAngle [lemma, in EuclideanGeometry.geom]
DistanceOouU [lemma, in EuclideanGeometry.geom]
DistanceOoVv [lemma, in EuclideanGeometry.geom]
DistancePlus [definition, in EuclideanGeometry.geom]
DistancePlusAssoc [lemma, in EuclideanGeometry.geom]
DistancePlusCommut [lemma, in EuclideanGeometry.geom]
DistancePlusLeftCancell [lemma, in EuclideanGeometry.geom]
DistancePlusNeutralLeft [lemma, in EuclideanGeometry.geom]
DistancePlusNeutralRight [lemma, in EuclideanGeometry.geom]
DistancePlusNeutralRightEq [lemma, in EuclideanGeometry.geom]
DistancePlusOoM [lemma, in EuclideanGeometry.geom]
DistancePlusOoN [lemma, in EuclideanGeometry.geom]
DistancePlusRightCancell [lemma, in EuclideanGeometry.geom]
DistanceSym [lemma, in EuclideanGeometry.geom]
DistanceTimes [definition, in EuclideanGeometry.geom]
DistanceTimesSym [lemma, in EuclideanGeometry.geom]
DistanceUuAngle [lemma, in EuclideanGeometry.geom]
DISTANCE_LT [section, in EuclideanGeometry.geom]
DISTANCE_TIMES_N [section, in EuclideanGeometry.geom]
DISTANCE_LE [section, in EuclideanGeometry.geom]
DistinctASymmetricPoint [lemma, in EuclideanGeometry.geom]
DistinctBSymmetricPoint [lemma, in EuclideanGeometry.geom]
DistinctEqDistanceDistinct [lemma, in EuclideanGeometry.geom]
DistinctMidPointA [lemma, in EuclideanGeometry.geom]
DistinctMidPointB [lemma, in EuclideanGeometry.geom]
DistinctOouU [lemma, in EuclideanGeometry.geom]
DistinctOoUu [axiom, in EuclideanGeometry.geom]
DistinctOoVv [lemma, in EuclideanGeometry.geom]
DistinctOrDistinct [lemma, in EuclideanGeometry.geom]
DistinctOrDistinctABC [lemma, in EuclideanGeometry.geom]
DistinctUuuU [lemma, in EuclideanGeometry.geom]
DistinctuUVv [lemma, in EuclideanGeometry.geom]
DistinctUuVv [lemma, in EuclideanGeometry.geom]
DRAWING_PARALLEL [section, in EuclideanGeometry.geom]
DRAWING_PERPENDICULAR [section, in EuclideanGeometry.geom]
DThales [lemma, in EuclideanGeometry.geom]
E
ElongatedAngle [definition, in EuclideanGeometry.geom]ElongatedAngleBetween [lemma, in EuclideanGeometry.geom]
ElongatedAngleDistinctBA [lemma, in EuclideanGeometry.geom]
ElongatedAngleDistinctBC [lemma, in EuclideanGeometry.geom]
ElongatedAngleNotNullAngle [lemma, in EuclideanGeometry.geom]
ElongatedAngleNotRightAngle [lemma, in EuclideanGeometry.geom]
ElongatedAngleSym [lemma, in EuclideanGeometry.geom]
ElongatedCongruentAngle [lemma, in EuclideanGeometry.geom]
ElongatedEqAngle [lemma, in EuclideanGeometry.geom]
ElongatedSupplementNull [lemma, in EuclideanGeometry.geom]
EqAngle [lemma, in EuclideanGeometry.geom]
EqAngleOpenRay1 [lemma, in EuclideanGeometry.geom]
EqAngleOpenRay2 [lemma, in EuclideanGeometry.geom]
EqAnglePoint [lemma, in EuclideanGeometry.geom]
EqAnglesIsosceles1 [lemma, in EuclideanGeometry.geom]
EqAnglesIsosceles2 [lemma, in EuclideanGeometry.geom]
EqAnglesIsosceles3 [lemma, in EuclideanGeometry.geom]
EqAngleSupplement [constructor, in EuclideanGeometry.geom]
EqAngleUniquePointSide1 [lemma, in EuclideanGeometry.geom]
EqAngleUniquePointSide2 [lemma, in EuclideanGeometry.geom]
EqCongruentAngle [lemma, in EuclideanGeometry.geom]
EqDistance [lemma, in EuclideanGeometry.geom]
EqDistanceAddSegmentPoint [lemma, in EuclideanGeometry.geom]
EqDistanceDistance [lemma, in EuclideanGeometry.geom]
EqDistanceDistancePlus [lemma, in EuclideanGeometry.geom]
EqDistanceGraduation [lemma, in EuclideanGeometry.geom]
EqDistanceInterDiameterPoint [lemma, in EuclideanGeometry.geom]
EqDistanceMarkSegmentPoint [lemma, in EuclideanGeometry.geom]
EqDistanceOnMidLine [lemma, in EuclideanGeometry.geom]
EqDistanceOppSegmentPoint [lemma, in EuclideanGeometry.geom]
EqDistanceSecondInterDiameterPoint [lemma, in EuclideanGeometry.geom]
EqDistanceSymmetricPoint [lemma, in EuclideanGeometry.geom]
EqDistanceTriangleSpec [lemma, in EuclideanGeometry.geom]
EqDistanceUuSupplementary [lemma, in EuclideanGeometry.geom]
EqDistanceVvUuuU [lemma, in EuclideanGeometry.geom]
EqElongatedAngle [lemma, in EuclideanGeometry.geom]
EqEqParallelLine [lemma, in EuclideanGeometry.geom]
EqEqPerpendicular [lemma, in EuclideanGeometry.geom]
EqEqSecantSecantLines [lemma, in EuclideanGeometry.geom]
EqLine [inductive, in EuclideanGeometry.geom]
EqLineDef [constructor, in EuclideanGeometry.geom]
EqLineDiameter [lemma, in EuclideanGeometry.geom]
EqLineId [lemma, in EuclideanGeometry.geom]
EqLineOnLine [lemma, in EuclideanGeometry.geom]
EqLineOpp [lemma, in EuclideanGeometry.geom]
EqLineOrEquiOriented [lemma, in EuclideanGeometry.geom]
EqLineRefl [lemma, in EuclideanGeometry.geom]
EqLineSym [lemma, in EuclideanGeometry.geom]
EqLineTrans [lemma, in EuclideanGeometry.geom]
EqLineTwoPoints [lemma, in EuclideanGeometry.geom]
EqNotSecantLines [lemma, in EuclideanGeometry.geom]
EqNullAngle [lemma, in EuclideanGeometry.geom]
EqNullDistance [lemma, in EuclideanGeometry.geom]
EqParallel [lemma, in EuclideanGeometry.geom]
EqParallelLine [lemma, in EuclideanGeometry.geom]
EqParallelOppLines [lemma, in EuclideanGeometry.geom]
EqPointsInterDiameter [lemma, in EuclideanGeometry.geom]
EqPointsInterLines [lemma, in EuclideanGeometry.geom]
EqPointsIntersectionCircles [lemma, in EuclideanGeometry.geom]
EqPointsNotCollinear [lemma, in EuclideanGeometry.geom]
EqPointsNotEquiDirectedInter [lemma, in EuclideanGeometry.geom]
EqSecantSecantLines [lemma, in EuclideanGeometry.geom]
EqSupplementaryEqRightAngle [lemma, in EuclideanGeometry.geom]
EqSupplementEqRightAngle [lemma, in EuclideanGeometry.geom]
EqThirdPoint [lemma, in EuclideanGeometry.geom]
EQUAL_LINES [section, in EuclideanGeometry.geom]
EquiDirected [definition, in EuclideanGeometry.geom]
EquiDirectedCollinear [lemma, in EuclideanGeometry.geom]
EquiDirectedPermutAB [lemma, in EuclideanGeometry.geom]
EquiDirectedPermutCD [lemma, in EuclideanGeometry.geom]
EquiDirectedRefl [lemma, in EuclideanGeometry.geom]
EquiDirectedSym [lemma, in EuclideanGeometry.geom]
EQUIDIRECTED_PARALLELOGRAMM [section, in EuclideanGeometry.geom]
EQUIDIRECTED_PROP [section, in EuclideanGeometry.geom]
EquiDistant [axiom, in EuclideanGeometry.geom]
EQUIDISTANT [section, in EuclideanGeometry.geom]
EquiDistantAABB [axiom, in EuclideanGeometry.geom]
EquiDistantABBA [axiom, in EuclideanGeometry.geom]
EquiDistantAngle [axiom, in EuclideanGeometry.geom]
EquiDistantArchimed [axiom, in EuclideanGeometry.geom]
EquiDistantChasles [axiom, in EuclideanGeometry.geom]
EquiDistantDistance [lemma, in EuclideanGeometry.geom]
EquiDistantRec [axiom, in EuclideanGeometry.geom]
EquiDistantRefl [axiom, in EuclideanGeometry.geom]
EquiDistantSegment [axiom, in EuclideanGeometry.geom]
EquiDistantStrictParallelogramm [lemma, in EuclideanGeometry.geom]
EquiDistantSumAngles [axiom, in EuclideanGeometry.geom]
EquiDistantSym [lemma, in EuclideanGeometry.geom]
EquiDistantTriangle [axiom, in EuclideanGeometry.geom]
Equilateral [definition, in EuclideanGeometry.geom]
EquilateralAMidLineAB [lemma, in EuclideanGeometry.geom]
EquilateralBMidLineBA [lemma, in EuclideanGeometry.geom]
EquilateralEqSides12 [lemma, in EuclideanGeometry.geom]
EquilateralEqSides23 [lemma, in EuclideanGeometry.geom]
EquilateralEqSides31 [lemma, in EuclideanGeometry.geom]
EquilateralExistsClockwise [lemma, in EuclideanGeometry.geom]
EquilateralInequality [lemma, in EuclideanGeometry.geom]
EquilateralIsosceles1 [lemma, in EuclideanGeometry.geom]
EquilateralIsosceles2 [lemma, in EuclideanGeometry.geom]
EquilateralIsosceles3 [lemma, in EuclideanGeometry.geom]
EquilateralPerm [lemma, in EuclideanGeometry.geom]
EquilateralSym [lemma, in EuclideanGeometry.geom]
EquilateralTriangleSpec [lemma, in EuclideanGeometry.geom]
EquiOriented [definition, in EuclideanGeometry.geom]
EquiOrientedAABC [lemma, in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseBAC [lemma, in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseBAD [lemma, in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseCDA [lemma, in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseCDB [lemma, in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseDCA [lemma, in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseDCB [lemma, in EuclideanGeometry.geom]
EquiOrientedABCDNotCollinearABC [lemma, in EuclideanGeometry.geom]
EquiOrientedABCDNotCollinearBCD [lemma, in EuclideanGeometry.geom]
EquiOrientedAddSegmentPoint [lemma, in EuclideanGeometry.geom]
EquiOrientedClosedRayClosedRay [lemma, in EuclideanGeometry.geom]
EquiOrientedClosedRaySegment [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearABCCollinearABD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearABCCollinearACD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearABCCollinearBCD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearABDCollinearABC [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearABDCollinearACD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearABDCollinearBCD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearAC [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearACDCollinearABC [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearACDCollinearABD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearACDCollinearBCD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearBC [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearBCDCollinearABC [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearBCDCollinearABD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearBCDCollinearACD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearCA [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearCB [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearCollinearABC [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearCollinearABD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearCollinearACD [lemma, in EuclideanGeometry.geom]
EquiOrientedCollinearCollinearBCD [lemma, in EuclideanGeometry.geom]
EquiOrientedDistinct [lemma, in EuclideanGeometry.geom]
EquiOrientedGraduation [lemma, in EuclideanGeometry.geom]
EquiOrientedInterDiameterPoint [lemma, in EuclideanGeometry.geom]
EquiOrientedMidLineClockwiseAB [lemma, in EuclideanGeometry.geom]
EquiOrientedMidLineClockwiseBA [lemma, in EuclideanGeometry.geom]
EquiOrientedNotClockwiseABC [lemma, in EuclideanGeometry.geom]
EquiOrientedNotClockwiseABD [lemma, in EuclideanGeometry.geom]
EquiOrientedSecondInterDiameterPoint [lemma, in EuclideanGeometry.geom]
EquiOrientedSegment [lemma, in EuclideanGeometry.geom]
EquiOrientedTrans [lemma, in EuclideanGeometry.geom]
EquiOrientedTransCollinear [lemma, in EuclideanGeometry.geom]
EQUIORIENTED_PROP [section, in EuclideanGeometry.geom]
EqVv [lemma, in EuclideanGeometry.geom]
ExistsClockwise [definition, in EuclideanGeometry.geom]
F
Figure [definition, in EuclideanGeometry.geom]FigureDistinct [lemma, in EuclideanGeometry.geom]
FlatParallelogramm [lemma, in EuclideanGeometry.geom]
FourCases [axiom, in EuclideanGeometry.geom]
FourPointsInterPoint [definition, in EuclideanGeometry.geom]
FourPointsInterPointBetweenCD [lemma, in EuclideanGeometry.geom]
FourPointsInterPointCollinearAB [lemma, in EuclideanGeometry.geom]
FourPointsSecantLine [lemma, in EuclideanGeometry.geom]
FourPointsSecantLines [lemma, in EuclideanGeometry.geom]
FourthPoint [axiom, in EuclideanGeometry.geom]
FOUR_POINTS_INTERSECTION [section, in EuclideanGeometry.geom]
G
geom [library]Graduation [definition, in EuclideanGeometry.geom]
GRADUATION [section, in EuclideanGeometry.geom]
GraduationBetweenAnSn [lemma, in EuclideanGeometry.geom]
GraduationBetweennSnSSn [lemma, in EuclideanGeometry.geom]
GraduationClosedRay [lemma, in EuclideanGeometry.geom]
GraduationDistinctnSn [lemma, in EuclideanGeometry.geom]
GraduationEqDistance [lemma, in EuclideanGeometry.geom]
GraduationSegment [lemma, in EuclideanGeometry.geom]
GraduationSegmentB [lemma, in EuclideanGeometry.geom]
GraduationSegmentSn [lemma, in EuclideanGeometry.geom]
GraduationSn [lemma, in EuclideanGeometry.geom]
GraduationSpec [definition, in EuclideanGeometry.geom]
Graduation0 [lemma, in EuclideanGeometry.geom]
Graduation1 [lemma, in EuclideanGeometry.geom]
H
HalfPlane [definition, in EuclideanGeometry.geom]I
InterCircles [constructor, in EuclideanGeometry.geom]InterCirclesPointDef [lemma, in EuclideanGeometry.geom]
InterDiameter [constructor, in EuclideanGeometry.geom]
InterDiameterPoint [definition, in EuclideanGeometry.geom]
InterDiameterPointDef [lemma, in EuclideanGeometry.geom]
InterLines [constructor, in EuclideanGeometry.geom]
InterLinesPoint [definition, in EuclideanGeometry.geom]
InterPointLineOoUuuCircle [lemma, in EuclideanGeometry.geom]
Intersection [inductive, in EuclideanGeometry.geom]
INTERSECTION [section, in EuclideanGeometry.geom]
IntersectionCirclesPoint [definition, in EuclideanGeometry.geom]
INTERSECTION_DIAMETER_PROPERTIES [section, in EuclideanGeometry.geom]
INTERSECTION_LINES_PROPERTIES [section, in EuclideanGeometry.geom]
INTERSECTION_CIRCLES_PROPERTIES [section, in EuclideanGeometry.geom]
IsAngle [definition, in EuclideanGeometry.geom]
IsAngleAngle [lemma, in EuclideanGeometry.geom]
IsAngleDistance [lemma, in EuclideanGeometry.geom]
IsAngleDistinctOo [lemma, in EuclideanGeometry.geom]
IsAngleElongatedAngle [lemma, in EuclideanGeometry.geom]
IsAngleNullAngle [lemma, in EuclideanGeometry.geom]
IsAngleSupplementary [lemma, in EuclideanGeometry.geom]
IsAngleVv [lemma, in EuclideanGeometry.geom]
IsCircle1 [definition, in EuclideanGeometry.geom]
IsDistance [definition, in EuclideanGeometry.geom]
IsDistanceDistance [lemma, in EuclideanGeometry.geom]
IsDistanceDistancePlus [lemma, in EuclideanGeometry.geom]
IsDistanceDistanceTimes [lemma, in EuclideanGeometry.geom]
IsDistanceEqDistance [lemma, in EuclideanGeometry.geom]
IsDistancePlusEqDistance [lemma, in EuclideanGeometry.geom]
IsDistanceSegmentDistancePlus [lemma, in EuclideanGeometry.geom]
IsLine [definition, in EuclideanGeometry.geom]
IsoscelesEqAngles1 [lemma, in EuclideanGeometry.geom]
IsoscelesEqAngles2 [lemma, in EuclideanGeometry.geom]
IsoscelesEqAngles3 [lemma, in EuclideanGeometry.geom]
Isosceles1 [definition, in EuclideanGeometry.geom]
Isosceles1Sym [lemma, in EuclideanGeometry.geom]
Isosceles12 [lemma, in EuclideanGeometry.geom]
Isosceles12Equilateral [lemma, in EuclideanGeometry.geom]
Isosceles2 [definition, in EuclideanGeometry.geom]
Isosceles2Sym [lemma, in EuclideanGeometry.geom]
Isosceles23 [lemma, in EuclideanGeometry.geom]
Isosceles23Equilateral [lemma, in EuclideanGeometry.geom]
Isosceles3 [definition, in EuclideanGeometry.geom]
Isosceles3Sym [lemma, in EuclideanGeometry.geom]
Isosceles31 [lemma, in EuclideanGeometry.geom]
Isosceles31Equilateral [lemma, in EuclideanGeometry.geom]
L
LeftRegularDistanceLe [lemma, in EuclideanGeometry.geom]Line [inductive, in EuclideanGeometry.geom]
LineA [definition, in EuclideanGeometry.geom]
LineAParallel [lemma, in EuclideanGeometry.geom]
LineB [definition, in EuclideanGeometry.geom]
LineH [definition, in EuclideanGeometry.geom]
lineOoUu [definition, in EuclideanGeometry.geom]
LINES [section, in EuclideanGeometry.geom]
M
MarkSegmentPoint [definition, in EuclideanGeometry.geom]MARK_SEGMENT [section, in EuclideanGeometry.geom]
MidLine [definition, in EuclideanGeometry.geom]
MIDLINE [section, in EuclideanGeometry.geom]
MIDLINEandRIGHTANGLE [section, in EuclideanGeometry.geom]
MidPoint [definition, in EuclideanGeometry.geom]
MIDPOINT [section, in EuclideanGeometry.geom]
MIDPOINTandMIDLINE_PROPERTIES [section, in EuclideanGeometry.geom]
MidPointBetween [lemma, in EuclideanGeometry.geom]
MidPointBetweenMidLine [lemma, in EuclideanGeometry.geom]
MidPointCollinearAB [lemma, in EuclideanGeometry.geom]
MidPointDistinctMidLineA [lemma, in EuclideanGeometry.geom]
MidPointDistinctMidLineB [lemma, in EuclideanGeometry.geom]
MidPointEqDistance [lemma, in EuclideanGeometry.geom]
MidPointOnMidLine [lemma, in EuclideanGeometry.geom]
MidPointRefl [lemma, in EuclideanGeometry.geom]
MidPointSym [lemma, in EuclideanGeometry.geom]
MidPointUuuUOo [lemma, in EuclideanGeometry.geom]
N
NotClockwiseAAB [lemma, in EuclideanGeometry.geom]NotClockwiseABA [lemma, in EuclideanGeometry.geom]
NotClockwiseABB [lemma, in EuclideanGeometry.geom]
NotClockwiseAngle [lemma, in EuclideanGeometry.geom]
NotClockwiseExistsClockwise [lemma, in EuclideanGeometry.geom]
NotClockwiseIntersectionCirclesPoint [lemma, in EuclideanGeometry.geom]
NotClockwiseTwoCases [lemma, in EuclideanGeometry.geom]
NotCollinearDistinctAB [lemma, in EuclideanGeometry.geom]
NotCollinearDistinctBC [lemma, in EuclideanGeometry.geom]
NotCollinearDistinctCA [lemma, in EuclideanGeometry.geom]
NotCollinearThirdVertexClockwise [lemma, in EuclideanGeometry.geom]
NotCollinearTwoCases [lemma, in EuclideanGeometry.geom]
NotEquidirectedDistinctAB [lemma, in EuclideanGeometry.geom]
NotEquidirectedDistinctCD [lemma, in EuclideanGeometry.geom]
NotEquiDirectedInterPoint [definition, in EuclideanGeometry.geom]
NotEquiDirectedInterPointCollinearAB [lemma, in EuclideanGeometry.geom]
NotEquiDirectedInterPointCollinearCD [lemma, in EuclideanGeometry.geom]
NotEquiDirectedPermutAB [lemma, in EuclideanGeometry.geom]
NotEquiDirectedPermutCD [lemma, in EuclideanGeometry.geom]
NotEquiDirectedSym [lemma, in EuclideanGeometry.geom]
NotNullDistance [lemma, in EuclideanGeometry.geom]
NotOpenRayABExistsClockwise [lemma, in EuclideanGeometry.geom]
NotOpenRayBAExistsClockwise [lemma, in EuclideanGeometry.geom]
NOT_EQUIDIRECTED_INTERSECTION_POINT [section, in EuclideanGeometry.geom]
NullAngle [definition, in EuclideanGeometry.geom]
NullAngleDistinctBA [lemma, in EuclideanGeometry.geom]
NullAngleDistinctBC [lemma, in EuclideanGeometry.geom]
NullAngleNotElongatedAngle [lemma, in EuclideanGeometry.geom]
NullAngleNotRightAngle [lemma, in EuclideanGeometry.geom]
NullAngleOpenRay [lemma, in EuclideanGeometry.geom]
NullAngleSym [lemma, in EuclideanGeometry.geom]
NullCongruentAngle [lemma, in EuclideanGeometry.geom]
NullDistance [lemma, in EuclideanGeometry.geom]
NullDistanceEq [lemma, in EuclideanGeometry.geom]
NullElongatedSupplement [lemma, in EuclideanGeometry.geom]
NullEqAngle [lemma, in EuclideanGeometry.geom]
NullSupplementElongated [lemma, in EuclideanGeometry.geom]
N_PARALLELOGRAMM [section, in EuclideanGeometry.geom]
O
OnCircle [definition, in EuclideanGeometry.geom]OnCircleInterDiameterPoint [lemma, in EuclideanGeometry.geom]
OnCircleOnCircle1 [lemma, in EuclideanGeometry.geom]
OnCircleSecondInterDiameterPoint [lemma, in EuclideanGeometry.geom]
OnCircle1 [definition, in EuclideanGeometry.geom]
OnCircle1IntersectionCirclesPoint [lemma, in EuclideanGeometry.geom]
OnCircle1OnCircle [lemma, in EuclideanGeometry.geom]
OnCircle2IntersectionCirclesPoint [lemma, in EuclideanGeometry.geom]
OnLine [definition, in EuclideanGeometry.geom]
OnLineAParallel [lemma, in EuclideanGeometry.geom]
OnLineDistinct [lemma, in EuclideanGeometry.geom]
OnLineEqLine [lemma, in EuclideanGeometry.geom]
OnLineInterDiameterPoint [lemma, in EuclideanGeometry.geom]
OnLineOoUuIsAngle [lemma, in EuclideanGeometry.geom]
OnLineSecondInterDiameterPoint [lemma, in EuclideanGeometry.geom]
OnLineTwoPoints [lemma, in EuclideanGeometry.geom]
OnLine1InterLinesPoint [lemma, in EuclideanGeometry.geom]
OnLine2InterLinesPoint [lemma, in EuclideanGeometry.geom]
OnLine3 [lemma, in EuclideanGeometry.geom]
OnMidLineEqDistance [lemma, in EuclideanGeometry.geom]
OnMidLineEqMidPointRightAngleA [lemma, in EuclideanGeometry.geom]
OnMidLineEqMidPointRightAngleB [lemma, in EuclideanGeometry.geom]
OnMidLineRightAngle [lemma, in EuclideanGeometry.geom]
OnMidLineVv [lemma, in EuclideanGeometry.geom]
OnOrNotOnLine [lemma, in EuclideanGeometry.geom]
OnParallelOppVertexP4 [lemma, in EuclideanGeometry.geom]
OnParallelVertexP4 [lemma, in EuclideanGeometry.geom]
Oo [axiom, in EuclideanGeometry.geom]
OpenRay [definition, in EuclideanGeometry.geom]
OpenRayAAB [lemma, in EuclideanGeometry.geom]
OpenRayABB [lemma, in EuclideanGeometry.geom]
OpenRayBetween [lemma, in EuclideanGeometry.geom]
OpenRayClosedRay [lemma, in EuclideanGeometry.geom]
OpenRayCollinear [lemma, in EuclideanGeometry.geom]
OpenRayDistinct [lemma, in EuclideanGeometry.geom]
OpenRayNullAngle [lemma, in EuclideanGeometry.geom]
OpenRaysBetween [lemma, in EuclideanGeometry.geom]
OpenRaysClockwise [lemma, in EuclideanGeometry.geom]
OpenRaySym [lemma, in EuclideanGeometry.geom]
OpenRayTrans [lemma, in EuclideanGeometry.geom]
OpposedAngleDef [constructor, in EuclideanGeometry.geom]
OpposedAngles [inductive, in EuclideanGeometry.geom]
OpposedAnglesAntiClockwiseBetween [lemma, in EuclideanGeometry.geom]
OpposedAnglesClockwiseBetween [lemma, in EuclideanGeometry.geom]
OpposedCongruentAngles [lemma, in EuclideanGeometry.geom]
OPPOSED_ANGLES [section, in EuclideanGeometry.geom]
OppSegmentPoint [definition, in EuclideanGeometry.geom]
OrSupplementRight [lemma, in EuclideanGeometry.geom]
P
Parallel [definition, in EuclideanGeometry.geom]ParallelAntiClockwiseParallelogramm [lemma, in EuclideanGeometry.geom]
ParallelClockwiseParallelogramm [lemma, in EuclideanGeometry.geom]
ParallelEqLine [lemma, in EuclideanGeometry.geom]
ParallelEqParallelLine [lemma, in EuclideanGeometry.geom]
ParallelLines [definition, in EuclideanGeometry.geom]
ParallelLinesDistinctLines [lemma, in EuclideanGeometry.geom]
ParallelLinesRefl [lemma, in EuclideanGeometry.geom]
ParallelLinesSym [lemma, in EuclideanGeometry.geom]
ParallelNotSecant [lemma, in EuclideanGeometry.geom]
Parallelogramm [inductive, in EuclideanGeometry.geom]
PARALLELOGRAMM [section, in EuclideanGeometry.geom]
ParallelogrammABCeqCDA [lemma, in EuclideanGeometry.geom]
ParallelogrammABCSupplementAngleBCD [lemma, in EuclideanGeometry.geom]
ParallelogrammABDeqCDB [lemma, in EuclideanGeometry.geom]
ParallelogrammABeqCD [lemma, in EuclideanGeometry.geom]
ParallelogrammADBeqCBD [lemma, in EuclideanGeometry.geom]
ParallelogrammAlternateAngles [lemma, in EuclideanGeometry.geom]
ParallelogrammBACeqDCA [lemma, in EuclideanGeometry.geom]
ParallelogrammBCDSupplementAngleCDA [lemma, in EuclideanGeometry.geom]
ParallelogrammBCeqDA [lemma, in EuclideanGeometry.geom]
ParallelogrammCDASupplementAngleDAB [lemma, in EuclideanGeometry.geom]
ParallelogrammColinearExteriorAngles [lemma, in EuclideanGeometry.geom]
ParallelogrammDABeqBCD [lemma, in EuclideanGeometry.geom]
ParallelogrammDABSupplementAngleABC [lemma, in EuclideanGeometry.geom]
ParallelogrammDACeqBCA [lemma, in EuclideanGeometry.geom]
ParallelogrammDistinctABDistinctCD [lemma, in EuclideanGeometry.geom]
ParallelogrammDistinctBCDistinctDA [lemma, in EuclideanGeometry.geom]
ParallelogrammDistinctCDDistinctAB [lemma, in EuclideanGeometry.geom]
ParallelogrammDistinctDADistinctBC [lemma, in EuclideanGeometry.geom]
ParallelogrammEquiDirected [lemma, in EuclideanGeometry.geom]
ParallelogrammExteriorAngles [lemma, in EuclideanGeometry.geom]
ParallelogrammOpenRayAB [lemma, in EuclideanGeometry.geom]
ParallelogrammOpenRayBA [lemma, in EuclideanGeometry.geom]
ParallelogrammPerm [lemma, in EuclideanGeometry.geom]
ParallelogrammRev [lemma, in EuclideanGeometry.geom]
ParallelogrammSegmentElongated [lemma, in EuclideanGeometry.geom]
ParallelogrammSegmentElongated2 [lemma, in EuclideanGeometry.geom]
ParallelogrammSegmentNull3 [lemma, in EuclideanGeometry.geom]
ParallelogrammTCongruentABCCDA [lemma, in EuclideanGeometry.geom]
ParallelogrammTCongruentAKBCKD [lemma, in EuclideanGeometry.geom]
ParallelogrammTCongruentBCDDAB [lemma, in EuclideanGeometry.geom]
ParallelogrammTCongruentBKCDKA [lemma, in EuclideanGeometry.geom]
ParallelogrammVertex4 [lemma, in EuclideanGeometry.geom]
PARALLELOGRAMM_ANGLES [section, in EuclideanGeometry.geom]
ParallelParallelLine [lemma, in EuclideanGeometry.geom]
ParallelSecant [lemma, in EuclideanGeometry.geom]
ParallelTrans [lemma, in EuclideanGeometry.geom]
PARALLEL_AND_PERPENDICULAR_LINES [section, in EuclideanGeometry.geom]
PARALLEL_OPPOSED_LINES [section, in EuclideanGeometry.geom]
PARALLEL_LINES [section, in EuclideanGeometry.geom]
PARTICULAR_TRIANGLES [section, in EuclideanGeometry.geom]
PARTICULAR_ANGLES [section, in EuclideanGeometry.geom]
PaschABC [lemma, in EuclideanGeometry.geom]
PaschLine [lemma, in EuclideanGeometry.geom]
PCenter [definition, in EuclideanGeometry.geom]
PCenterBetweenAC [lemma, in EuclideanGeometry.geom]
PCenterBetweenBD [lemma, in EuclideanGeometry.geom]
PCenterEqDistanceAC [lemma, in EuclideanGeometry.geom]
PCenterEqDistanceBD [lemma, in EuclideanGeometry.geom]
PCenterHyp [lemma, in EuclideanGeometry.geom]
PCenterMidPoint [lemma, in EuclideanGeometry.geom]
Perpendicular [inductive, in EuclideanGeometry.geom]
PerpendicularDown [definition, in EuclideanGeometry.geom]
PerpendicularDownOnLine [lemma, in EuclideanGeometry.geom]
PerpendicularDownPerpendicular [lemma, in EuclideanGeometry.geom]
PerpendicularMidLine [lemma, in EuclideanGeometry.geom]
PerpendicularParallelPerpendicular [lemma, in EuclideanGeometry.geom]
PerpendicularPerpendicularParallel [lemma, in EuclideanGeometry.geom]
PerpendicularPoint [definition, in EuclideanGeometry.geom]
PerpendicularPointOnLine1 [lemma, in EuclideanGeometry.geom]
PerpendicularPointOnLine2 [lemma, in EuclideanGeometry.geom]
PerpendicularRightAngle [lemma, in EuclideanGeometry.geom]
PerpendicularSecant [lemma, in EuclideanGeometry.geom]
PerpendicularSym [lemma, in EuclideanGeometry.geom]
PerpendicularUp [definition, in EuclideanGeometry.geom]
PerpendicularUpOnLine [lemma, in EuclideanGeometry.geom]
PerpendicularUpPerpendicular [lemma, in EuclideanGeometry.geom]
PERPENDICULAR_LINES [section, in EuclideanGeometry.geom]
PerpRightAngle [constructor, in EuclideanGeometry.geom]
PLANE [section, in EuclideanGeometry.geom]
Pllgm [constructor, in EuclideanGeometry.geom]
Point [axiom, in EuclideanGeometry.geom]
PointDef [axiom, in EuclideanGeometry.geom]
PointsPerpendicularRightAngle [lemma, in EuclideanGeometry.geom]
R
Radius [definition, in EuclideanGeometry.geom]RadiusA [definition, in EuclideanGeometry.geom]
RadiusB [definition, in EuclideanGeometry.geom]
RAYS_PROP [section, in EuclideanGeometry.geom]
RightAngle [definition, in EuclideanGeometry.geom]
RightAngleAIA' [lemma, in EuclideanGeometry.geom]
RightAngleAIB' [lemma, in EuclideanGeometry.geom]
RightAngleBIA' [lemma, in EuclideanGeometry.geom]
RightAngleBIB' [lemma, in EuclideanGeometry.geom]
RightAngleDistinctBA [lemma, in EuclideanGeometry.geom]
RightAngleDistinctBC [lemma, in EuclideanGeometry.geom]
RightAngleNotCollinear [lemma, in EuclideanGeometry.geom]
RightAngleNotElongatedAngle [lemma, in EuclideanGeometry.geom]
RightAngleNotNullAngle [lemma, in EuclideanGeometry.geom]
RightAngleSym [lemma, in EuclideanGeometry.geom]
RightCongruentAngle [lemma, in EuclideanGeometry.geom]
RightEqAngleVv [lemma, in EuclideanGeometry.geom]
RightOrRight [lemma, in EuclideanGeometry.geom]
RightRightEqMLine [lemma, in EuclideanGeometry.geom]
RightRightSupplement [lemma, in EuclideanGeometry.geom]
RightSupplement [lemma, in EuclideanGeometry.geom]
RightSupplementRight [lemma, in EuclideanGeometry.geom]
RightSupplementUuOoVv [lemma, in EuclideanGeometry.geom]
RightUuOoVv [lemma, in EuclideanGeometry.geom]
RightVvOouU [lemma, in EuclideanGeometry.geom]
RIGHT_ANGLE [section, in EuclideanGeometry.geom]
Ruler [constructor, in EuclideanGeometry.geom]
S
SASTCongruent [lemma, in EuclideanGeometry.geom]SecantCircles [definition, in EuclideanGeometry.geom]
SecantCirclesSym [lemma, in EuclideanGeometry.geom]
SecantCircles1 [definition, in EuclideanGeometry.geom]
SecantLines [definition, in EuclideanGeometry.geom]
SecantLinesSym [lemma, in EuclideanGeometry.geom]
SecantNotEqLines [lemma, in EuclideanGeometry.geom]
SecantParallel [lemma, in EuclideanGeometry.geom]
SecantParallelClockwise [lemma, in EuclideanGeometry.geom]
SecantParallelSecant [lemma, in EuclideanGeometry.geom]
SecantPerpendicularSecant [lemma, in EuclideanGeometry.geom]
SECANT_LINES [section, in EuclideanGeometry.geom]
SecondInterDiameterPoint [definition, in EuclideanGeometry.geom]
SecondInterPointLineOoUuuCircle [lemma, in EuclideanGeometry.geom]
SECOND_DIMENSION [section, in EuclideanGeometry.geom]
Segment [definition, in EuclideanGeometry.geom]
SegmentABA [lemma, in EuclideanGeometry.geom]
SegmentABB [lemma, in EuclideanGeometry.geom]
SegmentBetween [lemma, in EuclideanGeometry.geom]
SegmentCollinear [lemma, in EuclideanGeometry.geom]
SegmentDistanceLe [lemma, in EuclideanGeometry.geom]
SegmentEquiOriented [lemma, in EuclideanGeometry.geom]
SegmentOpenRayAB [lemma, in EuclideanGeometry.geom]
SegmentOpenRayAC [lemma, in EuclideanGeometry.geom]
SegmentOppSegmentPoint [lemma, in EuclideanGeometry.geom]
SegmentSym [lemma, in EuclideanGeometry.geom]
SegmentTransADB [lemma, in EuclideanGeometry.geom]
SegmentTransBDC [lemma, in EuclideanGeometry.geom]
SPCenter [definition, in EuclideanGeometry.geom]
SPDef [constructor, in EuclideanGeometry.geom]
SSSTCongruent [lemma, in EuclideanGeometry.geom]
StrictParallelogramm [inductive, in EuclideanGeometry.geom]
StrictParallelogrammABCeqCDA [lemma, in EuclideanGeometry.geom]
StrictParallelogrammABCSupplementAngleBCD [lemma, in EuclideanGeometry.geom]
StrictParallelogrammABDeqCDB [lemma, in EuclideanGeometry.geom]
StrictParallelogrammADBeqCBD [lemma, in EuclideanGeometry.geom]
StrictParallelogrammAlternateAngles [lemma, in EuclideanGeometry.geom]
StrictParallelogrammA1An1BnB0 [lemma, in EuclideanGeometry.geom]
StrictParallelogrammBACeqDCA [lemma, in EuclideanGeometry.geom]
StrictParallelogrammBCDSupplementAngleCDA [lemma, in EuclideanGeometry.geom]
StrictParallelogrammBECD [lemma, in EuclideanGeometry.geom]
StrictParallelogrammBEFC [lemma, in EuclideanGeometry.geom]
StrictParallelogrammCDASupplementAngleDAB [lemma, in EuclideanGeometry.geom]
StrictParallelogrammClockwiseABC [lemma, in EuclideanGeometry.geom]
StrictParallelogrammClockwiseABK [lemma, in EuclideanGeometry.geom]
StrictParallelogrammClockwiseBCD [lemma, in EuclideanGeometry.geom]
StrictParallelogrammClockwiseBCK [lemma, in EuclideanGeometry.geom]
StrictParallelogrammClockwiseCDA [lemma, in EuclideanGeometry.geom]
StrictParallelogrammClockwiseCDK [lemma, in EuclideanGeometry.geom]
StrictParallelogrammClockwiseDAB [lemma, in EuclideanGeometry.geom]
StrictParallelogrammClockwiseDAK [lemma, in EuclideanGeometry.geom]
StrictParallelogrammDABeqBCD [lemma, in EuclideanGeometry.geom]
StrictParallelogrammDABSupplementAngleABC [lemma, in EuclideanGeometry.geom]
StrictParallelogrammDACeqBCA [lemma, in EuclideanGeometry.geom]
StrictParallelogrammDistinctAB [lemma, in EuclideanGeometry.geom]
StrictParallelogrammDistinctBC [lemma, in EuclideanGeometry.geom]
StrictParallelogrammDistinctCD [lemma, in EuclideanGeometry.geom]
StrictParallelogrammDistinctDA [lemma, in EuclideanGeometry.geom]
StrictParallelogrammEACD [lemma, in EuclideanGeometry.geom]
StrictParallelogrammEquiOriented [lemma, in EuclideanGeometry.geom]
StrictParallelogrammExistM [lemma, in EuclideanGeometry.geom]
StrictParallelogrammExistN [lemma, in EuclideanGeometry.geom]
StrictParallelogrammExteriorAngles [lemma, in EuclideanGeometry.geom]
StrictParallelogrammPerm [lemma, in EuclideanGeometry.geom]
StrictPVertex4 [lemma, in EuclideanGeometry.geom]
StrictPVertex4Parallelogramm [lemma, in EuclideanGeometry.geom]
STRICT_PARALLELOGRAMM [section, in EuclideanGeometry.geom]
SumAngles [lemma, in EuclideanGeometry.geom]
SUM_OF_DISTANCES [section, in EuclideanGeometry.geom]
Supplement [inductive, in EuclideanGeometry.geom]
SUPPLEMENT [section, in EuclideanGeometry.geom]
Supplementary [definition, in EuclideanGeometry.geom]
SupplementaryElongatedAngle [lemma, in EuclideanGeometry.geom]
SupplementaryEqAngles [lemma, in EuclideanGeometry.geom]
SupplementaryNullAngle [lemma, in EuclideanGeometry.geom]
SupplementaryRightAngle [lemma, in EuclideanGeometry.geom]
SupplementarySupplementary [lemma, in EuclideanGeometry.geom]
SupplementarySym [lemma, in EuclideanGeometry.geom]
SUPPLEMENTARY_ANGLE [section, in EuclideanGeometry.geom]
SupplementCongruentRightAngle [lemma, in EuclideanGeometry.geom]
SupplementCongruentSupplement [lemma, in EuclideanGeometry.geom]
SupplementParallelogramm [lemma, in EuclideanGeometry.geom]
SupplementRev1 [lemma, in EuclideanGeometry.geom]
SupplementRev2 [lemma, in EuclideanGeometry.geom]
SupplementSupplementary [lemma, in EuclideanGeometry.geom]
SupplementSupplementCongruent [lemma, in EuclideanGeometry.geom]
SupplementSym [lemma, in EuclideanGeometry.geom]
SupplementUuuU [lemma, in EuclideanGeometry.geom]
SymmetricPoint [definition, in EuclideanGeometry.geom]
T
TCongruent [definition, in EuclideanGeometry.geom]TCongruentAIA'AIB' [lemma, in EuclideanGeometry.geom]
TCongruentAIA'BIA' [lemma, in EuclideanGeometry.geom]
TCongruentAIB'BIB' [lemma, in EuclideanGeometry.geom]
TCongruentAnglesA [lemma, in EuclideanGeometry.geom]
TCongruentAnglesB [lemma, in EuclideanGeometry.geom]
TCongruentAnglesC [lemma, in EuclideanGeometry.geom]
TCongruentBIA'BIB' [lemma, in EuclideanGeometry.geom]
TCongruentEqSidesAB [lemma, in EuclideanGeometry.geom]
TCongruentEqSidesBC [lemma, in EuclideanGeometry.geom]
TCongruentEqSidesCA [lemma, in EuclideanGeometry.geom]
TCongruentMidLineAMidLineB [lemma, in EuclideanGeometry.geom]
TCongruentPerm [lemma, in EuclideanGeometry.geom]
TCongruentSubst [lemma, in EuclideanGeometry.geom]
TCongruentSym [lemma, in EuclideanGeometry.geom]
TCongruentTrans [lemma, in EuclideanGeometry.geom]
TCongruentTStrict [lemma, in EuclideanGeometry.geom]
ThirdVertex [definition, in EuclideanGeometry.geom]
ThirdVertexNotClockwise [lemma, in EuclideanGeometry.geom]
ThirdVertexTCongruent [lemma, in EuclideanGeometry.geom]
ThreeCases [lemma, in EuclideanGeometry.geom]
Tr [constructor, in EuclideanGeometry.geom]
Triangle [inductive, in EuclideanGeometry.geom]
TriangleBetween [lemma, in EuclideanGeometry.geom]
TriangleInequality [definition, in EuclideanGeometry.geom]
TriangleInequalityTriangularInequality [lemma, in EuclideanGeometry.geom]
TRIANGLES [section, in EuclideanGeometry.geom]
TriangleSpec [definition, in EuclideanGeometry.geom]
TriangleSpecABBCAC [lemma, in EuclideanGeometry.geom]
TriangleSpecABBCCA [lemma, in EuclideanGeometry.geom]
TriangleSpecABCBAC [lemma, in EuclideanGeometry.geom]
TriangleSpecABCBCA [lemma, in EuclideanGeometry.geom]
TriangleSpecBABCAC [lemma, in EuclideanGeometry.geom]
TriangleSpecBABCCA [lemma, in EuclideanGeometry.geom]
TriangleSpecBACBAC [lemma, in EuclideanGeometry.geom]
TriangleSpecBACBCA [lemma, in EuclideanGeometry.geom]
TriangleSpecEq [lemma, in EuclideanGeometry.geom]
TriangleSpecSpec1 [lemma, in EuclideanGeometry.geom]
TriangleSpec1 [definition, in EuclideanGeometry.geom]
TriangleSpec1Spec [lemma, in EuclideanGeometry.geom]
TriangleSumClockwise [lemma, in EuclideanGeometry.geom]
TriangleSumSupplement [lemma, in EuclideanGeometry.geom]
TriangleSupplement [lemma, in EuclideanGeometry.geom]
TriangularInequality [definition, in EuclideanGeometry.geom]
TriangularInequalityABBCAC [lemma, in EuclideanGeometry.geom]
TriangularInequalityABBCCA [lemma, in EuclideanGeometry.geom]
TriangularInequalityABCBAC [lemma, in EuclideanGeometry.geom]
TriangularInequalityABCBCA [lemma, in EuclideanGeometry.geom]
TriangularInequalityBABCAC [lemma, in EuclideanGeometry.geom]
TriangularInequalityBABCCA [lemma, in EuclideanGeometry.geom]
TriangularInequalityBACBAC [lemma, in EuclideanGeometry.geom]
TriangularInequalityBACBCA [lemma, in EuclideanGeometry.geom]
TriangularInequalityTriangleInequality [lemma, in EuclideanGeometry.geom]
TRIANGULAR_INEQUALITY [section, in EuclideanGeometry.geom]
TStrict [definition, in EuclideanGeometry.geom]
TStrictDistinctAB [lemma, in EuclideanGeometry.geom]
TStrictDistinctBC [lemma, in EuclideanGeometry.geom]
TStrictDistinctCA [lemma, in EuclideanGeometry.geom]
TwoDiameterInterPoints [lemma, in EuclideanGeometry.geom]
TwoPointsOnLineOrientation [lemma, in EuclideanGeometry.geom]
TwoPointsOnParallel [lemma, in EuclideanGeometry.geom]
TwoPointsSecantLine [lemma, in EuclideanGeometry.geom]
TwoSidesLine [lemma, in EuclideanGeometry.geom]
U
uCircle [definition, in EuclideanGeometry.geom]Unicity [definition, in EuclideanGeometry.geom]
UNICITY_OF_THE_PARALLEL [section, in EuclideanGeometry.geom]
UniqueAddSegmentPoint [lemma, in EuclideanGeometry.geom]
UniqueFourPointsInterPoint [lemma, in EuclideanGeometry.geom]
UniqueInterDiameterPoint [lemma, in EuclideanGeometry.geom]
UniqueInterLinesPoint [lemma, in EuclideanGeometry.geom]
UniqueIntersectionCirclesPoint [lemma, in EuclideanGeometry.geom]
UniqueMarkSegmentPoint [lemma, in EuclideanGeometry.geom]
UniqueMidPoint [lemma, in EuclideanGeometry.geom]
UniqueNotEquiDirectedInterPoint [lemma, in EuclideanGeometry.geom]
UniqueOppSegmentPoint [lemma, in EuclideanGeometry.geom]
UniqueParallel [lemma, in EuclideanGeometry.geom]
UniquePCenter [lemma, in EuclideanGeometry.geom]
UniquePerpendicular [lemma, in EuclideanGeometry.geom]
UniquePerpendicularPoint [lemma, in EuclideanGeometry.geom]
UniqueSecondInterDiameterPoint [lemma, in EuclideanGeometry.geom]
UniqueSPCenter [lemma, in EuclideanGeometry.geom]
UniqueStrictPVertex4 [lemma, in EuclideanGeometry.geom]
UniqueSymmetricPoint [lemma, in EuclideanGeometry.geom]
UnitDistance [lemma, in EuclideanGeometry.geom]
uU [definition, in EuclideanGeometry.geom]
Uu [axiom, in EuclideanGeometry.geom]
V
Vv [definition, in EuclideanGeometry.geom]VvDef [definition, in EuclideanGeometry.geom]
Library Index
G
geomLemma Index
A
AngleVvEqRight [in EuclideanGeometry.geom]AntiClockwiseBetweenCongruentOpposedAngles [in EuclideanGeometry.geom]
AntiClockwiseSupplementAnglesBetween [in EuclideanGeometry.geom]
Apart [in EuclideanGeometry.geom]
ArchimedianClosedRay [in EuclideanGeometry.geom]
ArchimedianDistance [in EuclideanGeometry.geom]
ArchimedianDistanceLt [in EuclideanGeometry.geom]
ASATClockwiseCongruent [in EuclideanGeometry.geom]
ASATCongruent [in EuclideanGeometry.geom]
B
BetweenBetweenElongated [in EuclideanGeometry.geom]BetweenBetweenElongated2 [in EuclideanGeometry.geom]
BetweenBetweenNull3 [in EuclideanGeometry.geom]
BetweenClockwiseOrClockwiseAB [in EuclideanGeometry.geom]
BetweenClockwiseOrClockwiseAC [in EuclideanGeometry.geom]
BetweenClockwiseOrClockwiseBC [in EuclideanGeometry.geom]
BetweenCollinear [in EuclideanGeometry.geom]
BetweenDistanceLt [in EuclideanGeometry.geom]
BetweenDistinctAB [in EuclideanGeometry.geom]
BetweenDistinctAC [in EuclideanGeometry.geom]
BetweenDistinctBC [in EuclideanGeometry.geom]
BetweenElongatedAngle [in EuclideanGeometry.geom]
BetweenOpenRayAB [in EuclideanGeometry.geom]
BetweenOpenRayAC [in EuclideanGeometry.geom]
BetweenOpenRayCA [in EuclideanGeometry.geom]
BetweenOpenRayCB [in EuclideanGeometry.geom]
BetweenSegment [in EuclideanGeometry.geom]
BetweenSupplementAngles [in EuclideanGeometry.geom]
BetweenSym [in EuclideanGeometry.geom]
BetweenSymmetricPoint [in EuclideanGeometry.geom]
BetweenTransABD [in EuclideanGeometry.geom]
BetweenTransACD [in EuclideanGeometry.geom]
BetweenTransBCD [in EuclideanGeometry.geom]
BetweenUuOouU [in EuclideanGeometry.geom]
C
CaseNullDistance [in EuclideanGeometry.geom]ChangeAll [in EuclideanGeometry.geom]
ChangeAllABAC [in EuclideanGeometry.geom]
ChangeAllABBC [in EuclideanGeometry.geom]
ChangeAllABC [in EuclideanGeometry.geom]
ChangeAllABCA [in EuclideanGeometry.geom]
ChangeAllABCB [in EuclideanGeometry.geom]
ChangeAllBCD [in EuclideanGeometry.geom]
ChangeSenseABAC [in EuclideanGeometry.geom]
ChangeSenseABBC [in EuclideanGeometry.geom]
ChangeSenseABCA [in EuclideanGeometry.geom]
ChangeSenseABCB [in EuclideanGeometry.geom]
Chasles [in EuclideanGeometry.geom]
ChaslesRec [in EuclideanGeometry.geom]
ClockwiseABCNotCollinear [in EuclideanGeometry.geom]
ClockwiseABKStrictParallelogramm [in EuclideanGeometry.geom]
ClockwiseAMidLineAB [in EuclideanGeometry.geom]
ClockwiseAMidLineAMidLineB [in EuclideanGeometry.geom]
ClockwiseAMidLineAMidPoint [in EuclideanGeometry.geom]
ClockwiseAntiClockwiseBetween [in EuclideanGeometry.geom]
ClockwiseBACNotCollinear [in EuclideanGeometry.geom]
ClockwiseBCA [in EuclideanGeometry.geom]
ClockwiseBCDStrictParallelogramm [in EuclideanGeometry.geom]
ClockwiseBCKStrictParallelogramm [in EuclideanGeometry.geom]
ClockwiseBetweenCongruentOpposedAngles [in EuclideanGeometry.geom]
ClockwiseBMidLineBA [in EuclideanGeometry.geom]
ClockwiseBMidLineBMidLineA [in EuclideanGeometry.geom]
ClockwiseCAB [in EuclideanGeometry.geom]
ClockwiseCDAStrictParallelogramm [in EuclideanGeometry.geom]
ClockwiseCDKStrictParallelogramm [in EuclideanGeometry.geom]
ClockwiseDABStrictParallelogramm [in EuclideanGeometry.geom]
ClockwiseDAKStrictParallelogramm [in EuclideanGeometry.geom]
ClockwiseDistinctAB [in EuclideanGeometry.geom]
ClockwiseDistinctBC [in EuclideanGeometry.geom]
ClockwiseDistinctCA [in EuclideanGeometry.geom]
ClockwiseExistsClockwise [in EuclideanGeometry.geom]
ClockwiseMidLineABMidPoint [in EuclideanGeometry.geom]
ClockwiseNotClockwise [in EuclideanGeometry.geom]
ClockwiseOoVvUu [in EuclideanGeometry.geom]
ClockwiseSupplementAnglesBetween [in EuclideanGeometry.geom]
ClockwiseSupplementarySupplementary [in EuclideanGeometry.geom]
ClockwiseuUVvUu [in EuclideanGeometry.geom]
ClosedRayCollinear [in EuclideanGeometry.geom]
ClosedRayMarkSegmentPoint [in EuclideanGeometry.geom]
ClosedRayOpenRay [in EuclideanGeometry.geom]
CollinearAAB [in EuclideanGeometry.geom]
CollinearABA [in EuclideanGeometry.geom]
CollinearABB [in EuclideanGeometry.geom]
CollinearACB [in EuclideanGeometry.geom]
CollinearAddSegmentPoint [in EuclideanGeometry.geom]
CollinearBAC [in EuclideanGeometry.geom]
CollinearBCA [in EuclideanGeometry.geom]
CollinearCAB [in EuclideanGeometry.geom]
CollinearCBA [in EuclideanGeometry.geom]
CollinearEquiDirected [in EuclideanGeometry.geom]
CollinearGraduation [in EuclideanGeometry.geom]
CollinearNotClockwise [in EuclideanGeometry.geom]
CollinearTCongruentCollinear [in EuclideanGeometry.geom]
CollinearThreeCases [in EuclideanGeometry.geom]
CollinearTrans [in EuclideanGeometry.geom]
CollinearTwoCases [in EuclideanGeometry.geom]
CongruentAngleCollinear [in EuclideanGeometry.geom]
CongruentAngleDistinctBA [in EuclideanGeometry.geom]
CongruentAngleDistinctBC [in EuclideanGeometry.geom]
CongruentAngleDistinctED [in EuclideanGeometry.geom]
CongruentAngleDistinctEF [in EuclideanGeometry.geom]
CongruentAnglePerm [in EuclideanGeometry.geom]
CongruentAngleRefl [in EuclideanGeometry.geom]
CongruentAngleRev [in EuclideanGeometry.geom]
CongruentAngleRev1 [in EuclideanGeometry.geom]
CongruentAngleRev2 [in EuclideanGeometry.geom]
CongruentAngleSides [in EuclideanGeometry.geom]
CongruentAngleSide1 [in EuclideanGeometry.geom]
CongruentAngleSide2 [in EuclideanGeometry.geom]
CongruentAnglesParallelogramm [in EuclideanGeometry.geom]
CongruentAngleSym [in EuclideanGeometry.geom]
CongruentAngleTrans [in EuclideanGeometry.geom]
CongruentAngleUuOoAngle [in EuclideanGeometry.geom]
CongruentElongatedAngle [in EuclideanGeometry.geom]
CongruentItself [in EuclideanGeometry.geom]
CongruentNullAngle [in EuclideanGeometry.geom]
CongruentRightAngle [in EuclideanGeometry.geom]
CongruentSAS [in EuclideanGeometry.geom]
CongruentSSS [in EuclideanGeometry.geom]
D
DiameterlineOoUuuCircle [in EuclideanGeometry.geom]DistanceEq [in EuclideanGeometry.geom]
DistanceEqDistanceDistinct [in EuclideanGeometry.geom]
DistanceGraduation [in EuclideanGeometry.geom]
DistanceLeAntisym [in EuclideanGeometry.geom]
DistanceLeDistancePlus [in EuclideanGeometry.geom]
DistanceLeDistancePlusDistance [in EuclideanGeometry.geom]
DistanceLeDistancePlusDistancePlus [in EuclideanGeometry.geom]
DistanceLeLtTrans [in EuclideanGeometry.geom]
DistanceLeOo [in EuclideanGeometry.geom]
DistanceLeRefl [in EuclideanGeometry.geom]
DistanceLeSegment [in EuclideanGeometry.geom]
DistanceLeTrans [in EuclideanGeometry.geom]
DistanceLtBetween [in EuclideanGeometry.geom]
DistanceLtDistancePlus [in EuclideanGeometry.geom]
DistanceNotNull [in EuclideanGeometry.geom]
DistanceOoAngle [in EuclideanGeometry.geom]
DistanceOouU [in EuclideanGeometry.geom]
DistanceOoVv [in EuclideanGeometry.geom]
DistancePlusAssoc [in EuclideanGeometry.geom]
DistancePlusCommut [in EuclideanGeometry.geom]
DistancePlusLeftCancell [in EuclideanGeometry.geom]
DistancePlusNeutralLeft [in EuclideanGeometry.geom]
DistancePlusNeutralRight [in EuclideanGeometry.geom]
DistancePlusNeutralRightEq [in EuclideanGeometry.geom]
DistancePlusOoM [in EuclideanGeometry.geom]
DistancePlusOoN [in EuclideanGeometry.geom]
DistancePlusRightCancell [in EuclideanGeometry.geom]
DistanceSym [in EuclideanGeometry.geom]
DistanceTimesSym [in EuclideanGeometry.geom]
DistanceUuAngle [in EuclideanGeometry.geom]
DistinctASymmetricPoint [in EuclideanGeometry.geom]
DistinctBSymmetricPoint [in EuclideanGeometry.geom]
DistinctEqDistanceDistinct [in EuclideanGeometry.geom]
DistinctMidPointA [in EuclideanGeometry.geom]
DistinctMidPointB [in EuclideanGeometry.geom]
DistinctOouU [in EuclideanGeometry.geom]
DistinctOoVv [in EuclideanGeometry.geom]
DistinctOrDistinct [in EuclideanGeometry.geom]
DistinctOrDistinctABC [in EuclideanGeometry.geom]
DistinctUuuU [in EuclideanGeometry.geom]
DistinctuUVv [in EuclideanGeometry.geom]
DistinctUuVv [in EuclideanGeometry.geom]
DThales [in EuclideanGeometry.geom]
E
ElongatedAngleBetween [in EuclideanGeometry.geom]ElongatedAngleDistinctBA [in EuclideanGeometry.geom]
ElongatedAngleDistinctBC [in EuclideanGeometry.geom]
ElongatedAngleNotNullAngle [in EuclideanGeometry.geom]
ElongatedAngleNotRightAngle [in EuclideanGeometry.geom]
ElongatedAngleSym [in EuclideanGeometry.geom]
ElongatedCongruentAngle [in EuclideanGeometry.geom]
ElongatedEqAngle [in EuclideanGeometry.geom]
ElongatedSupplementNull [in EuclideanGeometry.geom]
EqAngle [in EuclideanGeometry.geom]
EqAngleOpenRay1 [in EuclideanGeometry.geom]
EqAngleOpenRay2 [in EuclideanGeometry.geom]
EqAnglePoint [in EuclideanGeometry.geom]
EqAnglesIsosceles1 [in EuclideanGeometry.geom]
EqAnglesIsosceles2 [in EuclideanGeometry.geom]
EqAnglesIsosceles3 [in EuclideanGeometry.geom]
EqAngleUniquePointSide1 [in EuclideanGeometry.geom]
EqAngleUniquePointSide2 [in EuclideanGeometry.geom]
EqCongruentAngle [in EuclideanGeometry.geom]
EqDistance [in EuclideanGeometry.geom]
EqDistanceAddSegmentPoint [in EuclideanGeometry.geom]
EqDistanceDistance [in EuclideanGeometry.geom]
EqDistanceDistancePlus [in EuclideanGeometry.geom]
EqDistanceGraduation [in EuclideanGeometry.geom]
EqDistanceInterDiameterPoint [in EuclideanGeometry.geom]
EqDistanceMarkSegmentPoint [in EuclideanGeometry.geom]
EqDistanceOnMidLine [in EuclideanGeometry.geom]
EqDistanceOppSegmentPoint [in EuclideanGeometry.geom]
EqDistanceSecondInterDiameterPoint [in EuclideanGeometry.geom]
EqDistanceSymmetricPoint [in EuclideanGeometry.geom]
EqDistanceTriangleSpec [in EuclideanGeometry.geom]
EqDistanceUuSupplementary [in EuclideanGeometry.geom]
EqDistanceVvUuuU [in EuclideanGeometry.geom]
EqElongatedAngle [in EuclideanGeometry.geom]
EqEqParallelLine [in EuclideanGeometry.geom]
EqEqPerpendicular [in EuclideanGeometry.geom]
EqEqSecantSecantLines [in EuclideanGeometry.geom]
EqLineDiameter [in EuclideanGeometry.geom]
EqLineId [in EuclideanGeometry.geom]
EqLineOnLine [in EuclideanGeometry.geom]
EqLineOpp [in EuclideanGeometry.geom]
EqLineOrEquiOriented [in EuclideanGeometry.geom]
EqLineRefl [in EuclideanGeometry.geom]
EqLineSym [in EuclideanGeometry.geom]
EqLineTrans [in EuclideanGeometry.geom]
EqLineTwoPoints [in EuclideanGeometry.geom]
EqNotSecantLines [in EuclideanGeometry.geom]
EqNullAngle [in EuclideanGeometry.geom]
EqNullDistance [in EuclideanGeometry.geom]
EqParallel [in EuclideanGeometry.geom]
EqParallelLine [in EuclideanGeometry.geom]
EqParallelOppLines [in EuclideanGeometry.geom]
EqPointsInterDiameter [in EuclideanGeometry.geom]
EqPointsInterLines [in EuclideanGeometry.geom]
EqPointsIntersectionCircles [in EuclideanGeometry.geom]
EqPointsNotCollinear [in EuclideanGeometry.geom]
EqPointsNotEquiDirectedInter [in EuclideanGeometry.geom]
EqSecantSecantLines [in EuclideanGeometry.geom]
EqSupplementaryEqRightAngle [in EuclideanGeometry.geom]
EqSupplementEqRightAngle [in EuclideanGeometry.geom]
EqThirdPoint [in EuclideanGeometry.geom]
EquiDirectedCollinear [in EuclideanGeometry.geom]
EquiDirectedPermutAB [in EuclideanGeometry.geom]
EquiDirectedPermutCD [in EuclideanGeometry.geom]
EquiDirectedRefl [in EuclideanGeometry.geom]
EquiDirectedSym [in EuclideanGeometry.geom]
EquiDistantDistance [in EuclideanGeometry.geom]
EquiDistantStrictParallelogramm [in EuclideanGeometry.geom]
EquiDistantSym [in EuclideanGeometry.geom]
EquilateralAMidLineAB [in EuclideanGeometry.geom]
EquilateralBMidLineBA [in EuclideanGeometry.geom]
EquilateralEqSides12 [in EuclideanGeometry.geom]
EquilateralEqSides23 [in EuclideanGeometry.geom]
EquilateralEqSides31 [in EuclideanGeometry.geom]
EquilateralExistsClockwise [in EuclideanGeometry.geom]
EquilateralInequality [in EuclideanGeometry.geom]
EquilateralIsosceles1 [in EuclideanGeometry.geom]
EquilateralIsosceles2 [in EuclideanGeometry.geom]
EquilateralIsosceles3 [in EuclideanGeometry.geom]
EquilateralPerm [in EuclideanGeometry.geom]
EquilateralSym [in EuclideanGeometry.geom]
EquilateralTriangleSpec [in EuclideanGeometry.geom]
EquiOrientedAABC [in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseBAC [in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseBAD [in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseCDA [in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseCDB [in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseDCA [in EuclideanGeometry.geom]
EquiOrientedABCDNotClockwiseDCB [in EuclideanGeometry.geom]
EquiOrientedABCDNotCollinearABC [in EuclideanGeometry.geom]
EquiOrientedABCDNotCollinearBCD [in EuclideanGeometry.geom]
EquiOrientedAddSegmentPoint [in EuclideanGeometry.geom]
EquiOrientedClosedRayClosedRay [in EuclideanGeometry.geom]
EquiOrientedClosedRaySegment [in EuclideanGeometry.geom]
EquiOrientedCollinearABCCollinearABD [in EuclideanGeometry.geom]
EquiOrientedCollinearABCCollinearACD [in EuclideanGeometry.geom]
EquiOrientedCollinearABCCollinearBCD [in EuclideanGeometry.geom]
EquiOrientedCollinearABDCollinearABC [in EuclideanGeometry.geom]
EquiOrientedCollinearABDCollinearACD [in EuclideanGeometry.geom]
EquiOrientedCollinearABDCollinearBCD [in EuclideanGeometry.geom]
EquiOrientedCollinearAC [in EuclideanGeometry.geom]
EquiOrientedCollinearACDCollinearABC [in EuclideanGeometry.geom]
EquiOrientedCollinearACDCollinearABD [in EuclideanGeometry.geom]
EquiOrientedCollinearACDCollinearBCD [in EuclideanGeometry.geom]
EquiOrientedCollinearBC [in EuclideanGeometry.geom]
EquiOrientedCollinearBCDCollinearABC [in EuclideanGeometry.geom]
EquiOrientedCollinearBCDCollinearABD [in EuclideanGeometry.geom]
EquiOrientedCollinearBCDCollinearACD [in EuclideanGeometry.geom]
EquiOrientedCollinearCA [in EuclideanGeometry.geom]
EquiOrientedCollinearCB [in EuclideanGeometry.geom]
EquiOrientedCollinearCollinearABC [in EuclideanGeometry.geom]
EquiOrientedCollinearCollinearABD [in EuclideanGeometry.geom]
EquiOrientedCollinearCollinearACD [in EuclideanGeometry.geom]
EquiOrientedCollinearCollinearBCD [in EuclideanGeometry.geom]
EquiOrientedDistinct [in EuclideanGeometry.geom]
EquiOrientedGraduation [in EuclideanGeometry.geom]
EquiOrientedInterDiameterPoint [in EuclideanGeometry.geom]
EquiOrientedMidLineClockwiseAB [in EuclideanGeometry.geom]
EquiOrientedMidLineClockwiseBA [in EuclideanGeometry.geom]
EquiOrientedNotClockwiseABC [in EuclideanGeometry.geom]
EquiOrientedNotClockwiseABD [in EuclideanGeometry.geom]
EquiOrientedSecondInterDiameterPoint [in EuclideanGeometry.geom]
EquiOrientedSegment [in EuclideanGeometry.geom]
EquiOrientedTrans [in EuclideanGeometry.geom]
EquiOrientedTransCollinear [in EuclideanGeometry.geom]
EqVv [in EuclideanGeometry.geom]
F
FigureDistinct [in EuclideanGeometry.geom]FlatParallelogramm [in EuclideanGeometry.geom]
FourPointsInterPointBetweenCD [in EuclideanGeometry.geom]
FourPointsInterPointCollinearAB [in EuclideanGeometry.geom]
FourPointsSecantLine [in EuclideanGeometry.geom]
FourPointsSecantLines [in EuclideanGeometry.geom]
G
GraduationBetweenAnSn [in EuclideanGeometry.geom]GraduationBetweennSnSSn [in EuclideanGeometry.geom]
GraduationClosedRay [in EuclideanGeometry.geom]
GraduationDistinctnSn [in EuclideanGeometry.geom]
GraduationEqDistance [in EuclideanGeometry.geom]
GraduationSegment [in EuclideanGeometry.geom]
GraduationSegmentB [in EuclideanGeometry.geom]
GraduationSegmentSn [in EuclideanGeometry.geom]
GraduationSn [in EuclideanGeometry.geom]
Graduation0 [in EuclideanGeometry.geom]
Graduation1 [in EuclideanGeometry.geom]
I
InterCirclesPointDef [in EuclideanGeometry.geom]InterDiameterPointDef [in EuclideanGeometry.geom]
InterPointLineOoUuuCircle [in EuclideanGeometry.geom]
IsAngleAngle [in EuclideanGeometry.geom]
IsAngleDistance [in EuclideanGeometry.geom]
IsAngleDistinctOo [in EuclideanGeometry.geom]
IsAngleElongatedAngle [in EuclideanGeometry.geom]
IsAngleNullAngle [in EuclideanGeometry.geom]
IsAngleSupplementary [in EuclideanGeometry.geom]
IsAngleVv [in EuclideanGeometry.geom]
IsDistanceDistance [in EuclideanGeometry.geom]
IsDistanceDistancePlus [in EuclideanGeometry.geom]
IsDistanceDistanceTimes [in EuclideanGeometry.geom]
IsDistanceEqDistance [in EuclideanGeometry.geom]
IsDistancePlusEqDistance [in EuclideanGeometry.geom]
IsDistanceSegmentDistancePlus [in EuclideanGeometry.geom]
IsoscelesEqAngles1 [in EuclideanGeometry.geom]
IsoscelesEqAngles2 [in EuclideanGeometry.geom]
IsoscelesEqAngles3 [in EuclideanGeometry.geom]
Isosceles1Sym [in EuclideanGeometry.geom]
Isosceles12 [in EuclideanGeometry.geom]
Isosceles12Equilateral [in EuclideanGeometry.geom]
Isosceles2Sym [in EuclideanGeometry.geom]
Isosceles23 [in EuclideanGeometry.geom]
Isosceles23Equilateral [in EuclideanGeometry.geom]
Isosceles3Sym [in EuclideanGeometry.geom]
Isosceles31 [in EuclideanGeometry.geom]
Isosceles31Equilateral [in EuclideanGeometry.geom]
L
LeftRegularDistanceLe [in EuclideanGeometry.geom]LineAParallel [in EuclideanGeometry.geom]
M
MidPointBetween [in EuclideanGeometry.geom]MidPointBetweenMidLine [in EuclideanGeometry.geom]
MidPointCollinearAB [in EuclideanGeometry.geom]
MidPointDistinctMidLineA [in EuclideanGeometry.geom]
MidPointDistinctMidLineB [in EuclideanGeometry.geom]
MidPointEqDistance [in EuclideanGeometry.geom]
MidPointOnMidLine [in EuclideanGeometry.geom]
MidPointRefl [in EuclideanGeometry.geom]
MidPointSym [in EuclideanGeometry.geom]
MidPointUuuUOo [in EuclideanGeometry.geom]
N
NotClockwiseAAB [in EuclideanGeometry.geom]NotClockwiseABA [in EuclideanGeometry.geom]
NotClockwiseABB [in EuclideanGeometry.geom]
NotClockwiseAngle [in EuclideanGeometry.geom]
NotClockwiseExistsClockwise [in EuclideanGeometry.geom]
NotClockwiseIntersectionCirclesPoint [in EuclideanGeometry.geom]
NotClockwiseTwoCases [in EuclideanGeometry.geom]
NotCollinearDistinctAB [in EuclideanGeometry.geom]
NotCollinearDistinctBC [in EuclideanGeometry.geom]
NotCollinearDistinctCA [in EuclideanGeometry.geom]
NotCollinearThirdVertexClockwise [in EuclideanGeometry.geom]
NotCollinearTwoCases [in EuclideanGeometry.geom]
NotEquidirectedDistinctAB [in EuclideanGeometry.geom]
NotEquidirectedDistinctCD [in EuclideanGeometry.geom]
NotEquiDirectedInterPointCollinearAB [in EuclideanGeometry.geom]
NotEquiDirectedInterPointCollinearCD [in EuclideanGeometry.geom]
NotEquiDirectedPermutAB [in EuclideanGeometry.geom]
NotEquiDirectedPermutCD [in EuclideanGeometry.geom]
NotEquiDirectedSym [in EuclideanGeometry.geom]
NotNullDistance [in EuclideanGeometry.geom]
NotOpenRayABExistsClockwise [in EuclideanGeometry.geom]
NotOpenRayBAExistsClockwise [in EuclideanGeometry.geom]
NullAngleDistinctBA [in EuclideanGeometry.geom]
NullAngleDistinctBC [in EuclideanGeometry.geom]
NullAngleNotElongatedAngle [in EuclideanGeometry.geom]
NullAngleNotRightAngle [in EuclideanGeometry.geom]
NullAngleOpenRay [in EuclideanGeometry.geom]
NullAngleSym [in EuclideanGeometry.geom]
NullCongruentAngle [in EuclideanGeometry.geom]
NullDistance [in EuclideanGeometry.geom]
NullDistanceEq [in EuclideanGeometry.geom]
NullElongatedSupplement [in EuclideanGeometry.geom]
NullEqAngle [in EuclideanGeometry.geom]
NullSupplementElongated [in EuclideanGeometry.geom]
O
OnCircleInterDiameterPoint [in EuclideanGeometry.geom]OnCircleOnCircle1 [in EuclideanGeometry.geom]
OnCircleSecondInterDiameterPoint [in EuclideanGeometry.geom]
OnCircle1IntersectionCirclesPoint [in EuclideanGeometry.geom]
OnCircle1OnCircle [in EuclideanGeometry.geom]
OnCircle2IntersectionCirclesPoint [in EuclideanGeometry.geom]
OnLineAParallel [in EuclideanGeometry.geom]
OnLineDistinct [in EuclideanGeometry.geom]
OnLineEqLine [in EuclideanGeometry.geom]
OnLineInterDiameterPoint [in EuclideanGeometry.geom]
OnLineOoUuIsAngle [in EuclideanGeometry.geom]
OnLineSecondInterDiameterPoint [in EuclideanGeometry.geom]
OnLineTwoPoints [in EuclideanGeometry.geom]
OnLine1InterLinesPoint [in EuclideanGeometry.geom]
OnLine2InterLinesPoint [in EuclideanGeometry.geom]
OnLine3 [in EuclideanGeometry.geom]
OnMidLineEqDistance [in EuclideanGeometry.geom]
OnMidLineEqMidPointRightAngleA [in EuclideanGeometry.geom]
OnMidLineEqMidPointRightAngleB [in EuclideanGeometry.geom]
OnMidLineRightAngle [in EuclideanGeometry.geom]
OnMidLineVv [in EuclideanGeometry.geom]
OnOrNotOnLine [in EuclideanGeometry.geom]
OnParallelOppVertexP4 [in EuclideanGeometry.geom]
OnParallelVertexP4 [in EuclideanGeometry.geom]
OpenRayAAB [in EuclideanGeometry.geom]
OpenRayABB [in EuclideanGeometry.geom]
OpenRayBetween [in EuclideanGeometry.geom]
OpenRayClosedRay [in EuclideanGeometry.geom]
OpenRayCollinear [in EuclideanGeometry.geom]
OpenRayDistinct [in EuclideanGeometry.geom]
OpenRayNullAngle [in EuclideanGeometry.geom]
OpenRaysBetween [in EuclideanGeometry.geom]
OpenRaysClockwise [in EuclideanGeometry.geom]
OpenRaySym [in EuclideanGeometry.geom]
OpenRayTrans [in EuclideanGeometry.geom]
OpposedAnglesAntiClockwiseBetween [in EuclideanGeometry.geom]
OpposedAnglesClockwiseBetween [in EuclideanGeometry.geom]
OpposedCongruentAngles [in EuclideanGeometry.geom]
OrSupplementRight [in EuclideanGeometry.geom]
P
ParallelAntiClockwiseParallelogramm [in EuclideanGeometry.geom]ParallelClockwiseParallelogramm [in EuclideanGeometry.geom]
ParallelEqLine [in EuclideanGeometry.geom]
ParallelEqParallelLine [in EuclideanGeometry.geom]
ParallelLinesDistinctLines [in EuclideanGeometry.geom]
ParallelLinesRefl [in EuclideanGeometry.geom]
ParallelLinesSym [in EuclideanGeometry.geom]
ParallelNotSecant [in EuclideanGeometry.geom]
ParallelogrammABCeqCDA [in EuclideanGeometry.geom]
ParallelogrammABCSupplementAngleBCD [in EuclideanGeometry.geom]
ParallelogrammABDeqCDB [in EuclideanGeometry.geom]
ParallelogrammABeqCD [in EuclideanGeometry.geom]
ParallelogrammADBeqCBD [in EuclideanGeometry.geom]
ParallelogrammAlternateAngles [in EuclideanGeometry.geom]
ParallelogrammBACeqDCA [in EuclideanGeometry.geom]
ParallelogrammBCDSupplementAngleCDA [in EuclideanGeometry.geom]
ParallelogrammBCeqDA [in EuclideanGeometry.geom]
ParallelogrammCDASupplementAngleDAB [in EuclideanGeometry.geom]
ParallelogrammColinearExteriorAngles [in EuclideanGeometry.geom]
ParallelogrammDABeqBCD [in EuclideanGeometry.geom]
ParallelogrammDABSupplementAngleABC [in EuclideanGeometry.geom]
ParallelogrammDACeqBCA [in EuclideanGeometry.geom]
ParallelogrammDistinctABDistinctCD [in EuclideanGeometry.geom]
ParallelogrammDistinctBCDistinctDA [in EuclideanGeometry.geom]
ParallelogrammDistinctCDDistinctAB [in EuclideanGeometry.geom]
ParallelogrammDistinctDADistinctBC [in EuclideanGeometry.geom]
ParallelogrammEquiDirected [in EuclideanGeometry.geom]
ParallelogrammExteriorAngles [in EuclideanGeometry.geom]
ParallelogrammOpenRayAB [in EuclideanGeometry.geom]
ParallelogrammOpenRayBA [in EuclideanGeometry.geom]
ParallelogrammPerm [in EuclideanGeometry.geom]
ParallelogrammRev [in EuclideanGeometry.geom]
ParallelogrammSegmentElongated [in EuclideanGeometry.geom]
ParallelogrammSegmentElongated2 [in EuclideanGeometry.geom]
ParallelogrammSegmentNull3 [in EuclideanGeometry.geom]
ParallelogrammTCongruentABCCDA [in EuclideanGeometry.geom]
ParallelogrammTCongruentAKBCKD [in EuclideanGeometry.geom]
ParallelogrammTCongruentBCDDAB [in EuclideanGeometry.geom]
ParallelogrammTCongruentBKCDKA [in EuclideanGeometry.geom]
ParallelogrammVertex4 [in EuclideanGeometry.geom]
ParallelParallelLine [in EuclideanGeometry.geom]
ParallelSecant [in EuclideanGeometry.geom]
ParallelTrans [in EuclideanGeometry.geom]
PaschABC [in EuclideanGeometry.geom]
PaschLine [in EuclideanGeometry.geom]
PCenterBetweenAC [in EuclideanGeometry.geom]
PCenterBetweenBD [in EuclideanGeometry.geom]
PCenterEqDistanceAC [in EuclideanGeometry.geom]
PCenterEqDistanceBD [in EuclideanGeometry.geom]
PCenterHyp [in EuclideanGeometry.geom]
PCenterMidPoint [in EuclideanGeometry.geom]
PerpendicularDownOnLine [in EuclideanGeometry.geom]
PerpendicularDownPerpendicular [in EuclideanGeometry.geom]
PerpendicularMidLine [in EuclideanGeometry.geom]
PerpendicularParallelPerpendicular [in EuclideanGeometry.geom]
PerpendicularPerpendicularParallel [in EuclideanGeometry.geom]
PerpendicularPointOnLine1 [in EuclideanGeometry.geom]
PerpendicularPointOnLine2 [in EuclideanGeometry.geom]
PerpendicularRightAngle [in EuclideanGeometry.geom]
PerpendicularSecant [in EuclideanGeometry.geom]
PerpendicularSym [in EuclideanGeometry.geom]
PerpendicularUpOnLine [in EuclideanGeometry.geom]
PerpendicularUpPerpendicular [in EuclideanGeometry.geom]
PointsPerpendicularRightAngle [in EuclideanGeometry.geom]
R
RightAngleAIA' [in EuclideanGeometry.geom]RightAngleAIB' [in EuclideanGeometry.geom]
RightAngleBIA' [in EuclideanGeometry.geom]
RightAngleBIB' [in EuclideanGeometry.geom]
RightAngleDistinctBA [in EuclideanGeometry.geom]
RightAngleDistinctBC [in EuclideanGeometry.geom]
RightAngleNotCollinear [in EuclideanGeometry.geom]
RightAngleNotElongatedAngle [in EuclideanGeometry.geom]
RightAngleNotNullAngle [in EuclideanGeometry.geom]
RightAngleSym [in EuclideanGeometry.geom]
RightCongruentAngle [in EuclideanGeometry.geom]
RightEqAngleVv [in EuclideanGeometry.geom]
RightOrRight [in EuclideanGeometry.geom]
RightRightEqMLine [in EuclideanGeometry.geom]
RightRightSupplement [in EuclideanGeometry.geom]
RightSupplement [in EuclideanGeometry.geom]
RightSupplementRight [in EuclideanGeometry.geom]
RightSupplementUuOoVv [in EuclideanGeometry.geom]
RightUuOoVv [in EuclideanGeometry.geom]
RightVvOouU [in EuclideanGeometry.geom]
S
SASTCongruent [in EuclideanGeometry.geom]SecantCirclesSym [in EuclideanGeometry.geom]
SecantLinesSym [in EuclideanGeometry.geom]
SecantNotEqLines [in EuclideanGeometry.geom]
SecantParallel [in EuclideanGeometry.geom]
SecantParallelClockwise [in EuclideanGeometry.geom]
SecantParallelSecant [in EuclideanGeometry.geom]
SecantPerpendicularSecant [in EuclideanGeometry.geom]
SecondInterPointLineOoUuuCircle [in EuclideanGeometry.geom]
SegmentABA [in EuclideanGeometry.geom]
SegmentABB [in EuclideanGeometry.geom]
SegmentBetween [in EuclideanGeometry.geom]
SegmentCollinear [in EuclideanGeometry.geom]
SegmentDistanceLe [in EuclideanGeometry.geom]
SegmentEquiOriented [in EuclideanGeometry.geom]
SegmentOpenRayAB [in EuclideanGeometry.geom]
SegmentOpenRayAC [in EuclideanGeometry.geom]
SegmentOppSegmentPoint [in EuclideanGeometry.geom]
SegmentSym [in EuclideanGeometry.geom]
SegmentTransADB [in EuclideanGeometry.geom]
SegmentTransBDC [in EuclideanGeometry.geom]
SSSTCongruent [in EuclideanGeometry.geom]
StrictParallelogrammABCeqCDA [in EuclideanGeometry.geom]
StrictParallelogrammABCSupplementAngleBCD [in EuclideanGeometry.geom]
StrictParallelogrammABDeqCDB [in EuclideanGeometry.geom]
StrictParallelogrammADBeqCBD [in EuclideanGeometry.geom]
StrictParallelogrammAlternateAngles [in EuclideanGeometry.geom]
StrictParallelogrammA1An1BnB0 [in EuclideanGeometry.geom]
StrictParallelogrammBACeqDCA [in EuclideanGeometry.geom]
StrictParallelogrammBCDSupplementAngleCDA [in EuclideanGeometry.geom]
StrictParallelogrammBECD [in EuclideanGeometry.geom]
StrictParallelogrammBEFC [in EuclideanGeometry.geom]
StrictParallelogrammCDASupplementAngleDAB [in EuclideanGeometry.geom]
StrictParallelogrammClockwiseABC [in EuclideanGeometry.geom]
StrictParallelogrammClockwiseABK [in EuclideanGeometry.geom]
StrictParallelogrammClockwiseBCD [in EuclideanGeometry.geom]
StrictParallelogrammClockwiseBCK [in EuclideanGeometry.geom]
StrictParallelogrammClockwiseCDA [in EuclideanGeometry.geom]
StrictParallelogrammClockwiseCDK [in EuclideanGeometry.geom]
StrictParallelogrammClockwiseDAB [in EuclideanGeometry.geom]
StrictParallelogrammClockwiseDAK [in EuclideanGeometry.geom]
StrictParallelogrammDABeqBCD [in EuclideanGeometry.geom]
StrictParallelogrammDABSupplementAngleABC [in EuclideanGeometry.geom]
StrictParallelogrammDACeqBCA [in EuclideanGeometry.geom]
StrictParallelogrammDistinctAB [in EuclideanGeometry.geom]
StrictParallelogrammDistinctBC [in EuclideanGeometry.geom]
StrictParallelogrammDistinctCD [in EuclideanGeometry.geom]
StrictParallelogrammDistinctDA [in EuclideanGeometry.geom]
StrictParallelogrammEACD [in EuclideanGeometry.geom]
StrictParallelogrammEquiOriented [in EuclideanGeometry.geom]
StrictParallelogrammExistM [in EuclideanGeometry.geom]
StrictParallelogrammExistN [in EuclideanGeometry.geom]
StrictParallelogrammExteriorAngles [in EuclideanGeometry.geom]
StrictParallelogrammPerm [in EuclideanGeometry.geom]
StrictPVertex4 [in EuclideanGeometry.geom]
StrictPVertex4Parallelogramm [in EuclideanGeometry.geom]
SumAngles [in EuclideanGeometry.geom]
SupplementaryElongatedAngle [in EuclideanGeometry.geom]
SupplementaryEqAngles [in EuclideanGeometry.geom]
SupplementaryNullAngle [in EuclideanGeometry.geom]
SupplementaryRightAngle [in EuclideanGeometry.geom]
SupplementarySupplementary [in EuclideanGeometry.geom]
SupplementarySym [in EuclideanGeometry.geom]
SupplementCongruentRightAngle [in EuclideanGeometry.geom]
SupplementCongruentSupplement [in EuclideanGeometry.geom]
SupplementParallelogramm [in EuclideanGeometry.geom]
SupplementRev1 [in EuclideanGeometry.geom]
SupplementRev2 [in EuclideanGeometry.geom]
SupplementSupplementary [in EuclideanGeometry.geom]
SupplementSupplementCongruent [in EuclideanGeometry.geom]
SupplementSym [in EuclideanGeometry.geom]
SupplementUuuU [in EuclideanGeometry.geom]
T
TCongruentAIA'AIB' [in EuclideanGeometry.geom]TCongruentAIA'BIA' [in EuclideanGeometry.geom]
TCongruentAIB'BIB' [in EuclideanGeometry.geom]
TCongruentAnglesA [in EuclideanGeometry.geom]
TCongruentAnglesB [in EuclideanGeometry.geom]
TCongruentAnglesC [in EuclideanGeometry.geom]
TCongruentBIA'BIB' [in EuclideanGeometry.geom]
TCongruentEqSidesAB [in EuclideanGeometry.geom]
TCongruentEqSidesBC [in EuclideanGeometry.geom]
TCongruentEqSidesCA [in EuclideanGeometry.geom]
TCongruentMidLineAMidLineB [in EuclideanGeometry.geom]
TCongruentPerm [in EuclideanGeometry.geom]
TCongruentSubst [in EuclideanGeometry.geom]
TCongruentSym [in EuclideanGeometry.geom]
TCongruentTrans [in EuclideanGeometry.geom]
TCongruentTStrict [in EuclideanGeometry.geom]
ThirdVertexNotClockwise [in EuclideanGeometry.geom]
ThirdVertexTCongruent [in EuclideanGeometry.geom]
ThreeCases [in EuclideanGeometry.geom]
TriangleBetween [in EuclideanGeometry.geom]
TriangleInequalityTriangularInequality [in EuclideanGeometry.geom]
TriangleSpecABBCAC [in EuclideanGeometry.geom]
TriangleSpecABBCCA [in EuclideanGeometry.geom]
TriangleSpecABCBAC [in EuclideanGeometry.geom]
TriangleSpecABCBCA [in EuclideanGeometry.geom]
TriangleSpecBABCAC [in EuclideanGeometry.geom]
TriangleSpecBABCCA [in EuclideanGeometry.geom]
TriangleSpecBACBAC [in EuclideanGeometry.geom]
TriangleSpecBACBCA [in EuclideanGeometry.geom]
TriangleSpecEq [in EuclideanGeometry.geom]
TriangleSpecSpec1 [in EuclideanGeometry.geom]
TriangleSpec1Spec [in EuclideanGeometry.geom]
TriangleSumClockwise [in EuclideanGeometry.geom]
TriangleSumSupplement [in EuclideanGeometry.geom]
TriangleSupplement [in EuclideanGeometry.geom]
TriangularInequalityABBCAC [in EuclideanGeometry.geom]
TriangularInequalityABBCCA [in EuclideanGeometry.geom]
TriangularInequalityABCBAC [in EuclideanGeometry.geom]
TriangularInequalityABCBCA [in EuclideanGeometry.geom]
TriangularInequalityBABCAC [in EuclideanGeometry.geom]
TriangularInequalityBABCCA [in EuclideanGeometry.geom]
TriangularInequalityBACBAC [in EuclideanGeometry.geom]
TriangularInequalityBACBCA [in EuclideanGeometry.geom]
TriangularInequalityTriangleInequality [in EuclideanGeometry.geom]
TStrictDistinctAB [in EuclideanGeometry.geom]
TStrictDistinctBC [in EuclideanGeometry.geom]
TStrictDistinctCA [in EuclideanGeometry.geom]
TwoDiameterInterPoints [in EuclideanGeometry.geom]
TwoPointsOnLineOrientation [in EuclideanGeometry.geom]
TwoPointsOnParallel [in EuclideanGeometry.geom]
TwoPointsSecantLine [in EuclideanGeometry.geom]
TwoSidesLine [in EuclideanGeometry.geom]
U
UniqueAddSegmentPoint [in EuclideanGeometry.geom]UniqueFourPointsInterPoint [in EuclideanGeometry.geom]
UniqueInterDiameterPoint [in EuclideanGeometry.geom]
UniqueInterLinesPoint [in EuclideanGeometry.geom]
UniqueIntersectionCirclesPoint [in EuclideanGeometry.geom]
UniqueMarkSegmentPoint [in EuclideanGeometry.geom]
UniqueMidPoint [in EuclideanGeometry.geom]
UniqueNotEquiDirectedInterPoint [in EuclideanGeometry.geom]
UniqueOppSegmentPoint [in EuclideanGeometry.geom]
UniqueParallel [in EuclideanGeometry.geom]
UniquePCenter [in EuclideanGeometry.geom]
UniquePerpendicular [in EuclideanGeometry.geom]
UniquePerpendicularPoint [in EuclideanGeometry.geom]
UniqueSecondInterDiameterPoint [in EuclideanGeometry.geom]
UniqueSPCenter [in EuclideanGeometry.geom]
UniqueStrictPVertex4 [in EuclideanGeometry.geom]
UniqueSymmetricPoint [in EuclideanGeometry.geom]
UnitDistance [in EuclideanGeometry.geom]
Constructor Index
A
ArchimedBase [in EuclideanGeometry.geom]ArchimedRec [in EuclideanGeometry.geom]
C
Compass [in EuclideanGeometry.geom]CongruentEqAngle [in EuclideanGeometry.geom]
E
EqAngleSupplement [in EuclideanGeometry.geom]EqLineDef [in EuclideanGeometry.geom]
I
InterCircles [in EuclideanGeometry.geom]InterDiameter [in EuclideanGeometry.geom]
InterLines [in EuclideanGeometry.geom]
O
OpposedAngleDef [in EuclideanGeometry.geom]P
PerpRightAngle [in EuclideanGeometry.geom]Pllgm [in EuclideanGeometry.geom]
R
Ruler [in EuclideanGeometry.geom]S
SPDef [in EuclideanGeometry.geom]T
Tr [in EuclideanGeometry.geom]Axiom Index
C
ChangeSense [in EuclideanGeometry.geom]ChangeSide [in EuclideanGeometry.geom]
ChaslesEquiDistant [in EuclideanGeometry.geom]
Clockwise [in EuclideanGeometry.geom]
ClockwiseAntisym [in EuclideanGeometry.geom]
ClockwisePerm [in EuclideanGeometry.geom]
D
DistinctOoUu [in EuclideanGeometry.geom]E
EquiDistant [in EuclideanGeometry.geom]EquiDistantAABB [in EuclideanGeometry.geom]
EquiDistantABBA [in EuclideanGeometry.geom]
EquiDistantAngle [in EuclideanGeometry.geom]
EquiDistantArchimed [in EuclideanGeometry.geom]
EquiDistantChasles [in EuclideanGeometry.geom]
EquiDistantRec [in EuclideanGeometry.geom]
EquiDistantRefl [in EuclideanGeometry.geom]
EquiDistantSegment [in EuclideanGeometry.geom]
EquiDistantSumAngles [in EuclideanGeometry.geom]
EquiDistantTriangle [in EuclideanGeometry.geom]
F
FourCases [in EuclideanGeometry.geom]FourthPoint [in EuclideanGeometry.geom]
O
Oo [in EuclideanGeometry.geom]P
Point [in EuclideanGeometry.geom]PointDef [in EuclideanGeometry.geom]
U
Uu [in EuclideanGeometry.geom]Inductive Index
A
Archimed [in EuclideanGeometry.geom]C
Circle [in EuclideanGeometry.geom]CongruentAngle [in EuclideanGeometry.geom]
E
EqLine [in EuclideanGeometry.geom]I
Intersection [in EuclideanGeometry.geom]L
Line [in EuclideanGeometry.geom]O
OpposedAngles [in EuclideanGeometry.geom]P
Parallelogramm [in EuclideanGeometry.geom]Perpendicular [in EuclideanGeometry.geom]
S
StrictParallelogramm [in EuclideanGeometry.geom]Supplement [in EuclideanGeometry.geom]
T
Triangle [in EuclideanGeometry.geom]Section Index
A
ANGLES [in EuclideanGeometry.geom]ANGLE_PROPERTIES [in EuclideanGeometry.geom]
ARCHIMEDIAN_DISTANCE [in EuclideanGeometry.geom]
B
BETWEEN_PROP [in EuclideanGeometry.geom]BUILDING_TRIANGLE [in EuclideanGeometry.geom]
BUILDING_CLOCKWISE [in EuclideanGeometry.geom]
C
CIRCLE [in EuclideanGeometry.geom]CIRCLE_AND_DISTANCE [in EuclideanGeometry.geom]
CLOCKWISE [in EuclideanGeometry.geom]
CLOCKWISE_PROPERTIES [in EuclideanGeometry.geom]
COLLINEAR_PROPERTIES [in EuclideanGeometry.geom]
D
DISCRETE_THALES [in EuclideanGeometry.geom]DISTANCE [in EuclideanGeometry.geom]
DISTANCE_LT [in EuclideanGeometry.geom]
DISTANCE_TIMES_N [in EuclideanGeometry.geom]
DISTANCE_LE [in EuclideanGeometry.geom]
DRAWING_PARALLEL [in EuclideanGeometry.geom]
DRAWING_PERPENDICULAR [in EuclideanGeometry.geom]
E
EQUAL_LINES [in EuclideanGeometry.geom]EQUIDIRECTED_PARALLELOGRAMM [in EuclideanGeometry.geom]
EQUIDIRECTED_PROP [in EuclideanGeometry.geom]
EQUIDISTANT [in EuclideanGeometry.geom]
EQUIORIENTED_PROP [in EuclideanGeometry.geom]
F
FOUR_POINTS_INTERSECTION [in EuclideanGeometry.geom]G
GRADUATION [in EuclideanGeometry.geom]I
INTERSECTION [in EuclideanGeometry.geom]INTERSECTION_DIAMETER_PROPERTIES [in EuclideanGeometry.geom]
INTERSECTION_LINES_PROPERTIES [in EuclideanGeometry.geom]
INTERSECTION_CIRCLES_PROPERTIES [in EuclideanGeometry.geom]
L
LINES [in EuclideanGeometry.geom]M
MARK_SEGMENT [in EuclideanGeometry.geom]MIDLINE [in EuclideanGeometry.geom]
MIDLINEandRIGHTANGLE [in EuclideanGeometry.geom]
MIDPOINT [in EuclideanGeometry.geom]
MIDPOINTandMIDLINE_PROPERTIES [in EuclideanGeometry.geom]
N
NOT_EQUIDIRECTED_INTERSECTION_POINT [in EuclideanGeometry.geom]N_PARALLELOGRAMM [in EuclideanGeometry.geom]
O
OPPOSED_ANGLES [in EuclideanGeometry.geom]P
PARALLELOGRAMM [in EuclideanGeometry.geom]PARALLELOGRAMM_ANGLES [in EuclideanGeometry.geom]
PARALLEL_AND_PERPENDICULAR_LINES [in EuclideanGeometry.geom]
PARALLEL_OPPOSED_LINES [in EuclideanGeometry.geom]
PARALLEL_LINES [in EuclideanGeometry.geom]
PARTICULAR_TRIANGLES [in EuclideanGeometry.geom]
PARTICULAR_ANGLES [in EuclideanGeometry.geom]
PERPENDICULAR_LINES [in EuclideanGeometry.geom]
PLANE [in EuclideanGeometry.geom]
R
RAYS_PROP [in EuclideanGeometry.geom]RIGHT_ANGLE [in EuclideanGeometry.geom]
S
SECANT_LINES [in EuclideanGeometry.geom]SECOND_DIMENSION [in EuclideanGeometry.geom]
STRICT_PARALLELOGRAMM [in EuclideanGeometry.geom]
SUM_OF_DISTANCES [in EuclideanGeometry.geom]
SUPPLEMENT [in EuclideanGeometry.geom]
SUPPLEMENTARY_ANGLE [in EuclideanGeometry.geom]
T
TRIANGLES [in EuclideanGeometry.geom]TRIANGULAR_INEQUALITY [in EuclideanGeometry.geom]
U
UNICITY_OF_THE_PARALLEL [in EuclideanGeometry.geom]Definition Index
A
AddSegmentPoint [in EuclideanGeometry.geom]Angle [in EuclideanGeometry.geom]
B
Between [in EuclideanGeometry.geom]C
Center [in EuclideanGeometry.geom]ClosedRay [in EuclideanGeometry.geom]
Collinear [in EuclideanGeometry.geom]
D
Diameter [in EuclideanGeometry.geom]Distance [in EuclideanGeometry.geom]
DistanceLe [in EuclideanGeometry.geom]
DistanceLt [in EuclideanGeometry.geom]
DistancePlus [in EuclideanGeometry.geom]
DistanceTimes [in EuclideanGeometry.geom]
E
ElongatedAngle [in EuclideanGeometry.geom]EquiDirected [in EuclideanGeometry.geom]
Equilateral [in EuclideanGeometry.geom]
EquiOriented [in EuclideanGeometry.geom]
ExistsClockwise [in EuclideanGeometry.geom]
F
Figure [in EuclideanGeometry.geom]FourPointsInterPoint [in EuclideanGeometry.geom]
G
Graduation [in EuclideanGeometry.geom]GraduationSpec [in EuclideanGeometry.geom]
H
HalfPlane [in EuclideanGeometry.geom]I
InterDiameterPoint [in EuclideanGeometry.geom]InterLinesPoint [in EuclideanGeometry.geom]
IntersectionCirclesPoint [in EuclideanGeometry.geom]
IsAngle [in EuclideanGeometry.geom]
IsCircle1 [in EuclideanGeometry.geom]
IsDistance [in EuclideanGeometry.geom]
IsLine [in EuclideanGeometry.geom]
Isosceles1 [in EuclideanGeometry.geom]
Isosceles2 [in EuclideanGeometry.geom]
Isosceles3 [in EuclideanGeometry.geom]
L
LineA [in EuclideanGeometry.geom]LineB [in EuclideanGeometry.geom]
LineH [in EuclideanGeometry.geom]
lineOoUu [in EuclideanGeometry.geom]
M
MarkSegmentPoint [in EuclideanGeometry.geom]MidLine [in EuclideanGeometry.geom]
MidPoint [in EuclideanGeometry.geom]
N
NotEquiDirectedInterPoint [in EuclideanGeometry.geom]NullAngle [in EuclideanGeometry.geom]
O
OnCircle [in EuclideanGeometry.geom]OnCircle1 [in EuclideanGeometry.geom]
OnLine [in EuclideanGeometry.geom]
OpenRay [in EuclideanGeometry.geom]
OppSegmentPoint [in EuclideanGeometry.geom]
P
Parallel [in EuclideanGeometry.geom]ParallelLines [in EuclideanGeometry.geom]
PCenter [in EuclideanGeometry.geom]
PerpendicularDown [in EuclideanGeometry.geom]
PerpendicularPoint [in EuclideanGeometry.geom]
PerpendicularUp [in EuclideanGeometry.geom]
R
Radius [in EuclideanGeometry.geom]RadiusA [in EuclideanGeometry.geom]
RadiusB [in EuclideanGeometry.geom]
RightAngle [in EuclideanGeometry.geom]
S
SecantCircles [in EuclideanGeometry.geom]SecantCircles1 [in EuclideanGeometry.geom]
SecantLines [in EuclideanGeometry.geom]
SecondInterDiameterPoint [in EuclideanGeometry.geom]
Segment [in EuclideanGeometry.geom]
SPCenter [in EuclideanGeometry.geom]
Supplementary [in EuclideanGeometry.geom]
SymmetricPoint [in EuclideanGeometry.geom]
T
TCongruent [in EuclideanGeometry.geom]ThirdVertex [in EuclideanGeometry.geom]
TriangleInequality [in EuclideanGeometry.geom]
TriangleSpec [in EuclideanGeometry.geom]
TriangleSpec1 [in EuclideanGeometry.geom]
TriangularInequality [in EuclideanGeometry.geom]
TStrict [in EuclideanGeometry.geom]
U
uCircle [in EuclideanGeometry.geom]Unicity [in EuclideanGeometry.geom]
uU [in EuclideanGeometry.geom]
V
Vv [in EuclideanGeometry.geom]VvDef [in EuclideanGeometry.geom]
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (829 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (643 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (24 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (58 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (76 entries) |