| 10.12.prfdep | |||
| 21helper.prfdep | |||
| 26helper.prfdep | |||
| 3.5b.prfdep | |||
| 3.6a.prfdep | |||
| 3.6b.prfdep | |||
| 3.7a.prfdep | |||
| 3.7b.prfdep | |||
| 30helper.prfdep | |||
| 35helper.prfdep | |||
| 4.19.prfdep | |||
| 8.2.prfdep | |||
| 8.3.prfdep | |||
| 8.7.prfdep | |||
| 9.5.prfdep | |||
| 9.5a.prfdep | |||
| 9.5b.prfdep | |||
| ABCequalsCBA.prfdep | |||
| EFreflexive.prfdep | |||
| ETreflexive.prfdep | |||
| Euclid4.prfdep | |||
| NCdistinct.prfdep | |||
| NChelper.prfdep | |||
| NCorder.prfdep | |||
| PGflip.prfdep | |||
| PGrectangle.prfdep | |||
| PGrotate.prfdep | |||
| PGsymmetric.prfdep | |||
| Pasch-outer2.prfdep | |||
| Playfair.prfdep | |||
| Playfairhelper.prfdep | |||
| Playfairhelper2.prfdep | |||
| Prop01.prfdep | |||
| Prop02.prfdep | |||
| Prop03.prfdep | |||
| Prop04.prfdep | |||
| Prop05.prfdep | |||
| Prop05b.prfdep | |||
| Prop06.prfdep | |||
| Prop06a.prfdep | |||
| Prop07.prfdep | |||
| Prop08.prfdep | |||
| Prop09.prfdep | |||
| Prop10.prfdep | |||
| Prop11.prfdep | |||
| Prop11B.prfdep | |||
| Prop12.prfdep | |||
| Prop13.prfdep | |||
| Prop14.prfdep | |||
| Prop15.prfdep | |||
| Prop16.prfdep | |||
| Prop17.prfdep | |||
| Prop18.prfdep | |||
| Prop19.prfdep | |||
| Prop20.prfdep | |||
| Prop21.prfdep | |||
| Prop22.prfdep | |||
| Prop23.prfdep | |||
| Prop23B.prfdep | |||
| Prop23C.prfdep | |||
| Prop24.prfdep | |||
| Prop25.prfdep | |||
| Prop26A.prfdep | |||
| Prop26B.prfdep | |||
| Prop27.prfdep | |||
| Prop27B.prfdep | |||
| Prop28A.prfdep | |||
| Prop28B.prfdep | |||
| Prop28C.prfdep | |||
| Prop28D.prfdep | |||
| Prop29.prfdep | |||
| Prop29B.prfdep | |||
| Prop29C.prfdep | |||
| Prop30.prfdep | |||
| Prop30A.prfdep | |||
| Prop30B.prfdep | |||
| Prop31.prfdep | |||
| Prop31short.prfdep | |||
| Prop32.prfdep | |||
| Prop33.prfdep | |||
| Prop33B.prfdep | |||
| Prop34.prfdep | |||
| Prop35.prfdep | |||
| Prop35A.prfdep | |||
| Prop36.prfdep | |||
| Prop36A.prfdep | |||
| Prop37.prfdep | |||
| Prop38.prfdep | |||
| Prop39.prfdep | |||
| Prop39A.prfdep | |||
| Prop40.prfdep | |||
| Prop41.prfdep | |||
| Prop42.prfdep | |||
| Prop42B.prfdep | |||
| Prop43.prfdep | |||
| Prop43B.prfdep | |||
| Prop44.prfdep | |||
| Prop44A.prfdep | |||
| Prop45.prfdep | |||
| Prop46.prfdep | |||
| Prop47.prfdep | |||
| Prop47A.prfdep | |||
| Prop47B.prfdep | |||
| Prop48.prfdep | |||
| Prop48A.prfdep | |||
| PropIII.01.prfdep | |||
| PropIII.02.prfdep | |||
| PropIII.03A.prfdep | |||
| PropIII.03B.prfdep | |||
| RTcongruence.prfdep | |||
| RTsymmetric.prfdep | |||
| TCreflexive.prfdep | |||
| TGflip.prfdep | |||
| TGsymmetric.prfdep | |||
| TTflip.prfdep | |||
| TTflip2.prfdep | |||
| TTorder.prfdep | |||
| TTtransitive.prfdep | |||
| acutebetween.prfdep | |||
| altitudebisectsbase.prfdep | |||
| altitudeofrighttriangle.prfdep | |||
| angleaddition.prfdep | |||
| angledistinct.prfdep | |||
| angleorderrespectscongruence.prfdep | |||
| angleorderrespectscongruence2.prfdep | |||
| angleordertransitive.prfdep | |||
| angletrichotomy.prfdep | |||
| angletrichotomy2.prfdep | |||
| betweennesspreserved.prfdep | |||
| betweennotequal.prfdep | |||
| centerunique.prfdep | |||
| circle-radius.prfdep | |||
| collinear1.prfdep | |||
| collinear2.prfdep | |||
| collinear4.prfdep | |||
| collinear5.prfdep | |||
| collinearbetween.prfdep | |||
| collinearitypreserved.prfdep | |||
| collinearmidpoint.prfdep | |||
| collinearorder.prfdep | |||
| collinearparallel.prfdep | |||
| collinearparallel2.prfdep | |||
| collinearright.prfdep | |||
| congruenceflip.prfdep | |||
| congruencesymmetric.prfdep | |||
| congruencetransitive.prfdep | |||
| crisscross.prfdep | |||
| crossbar.prfdep | |||
| crossbar2.prfdep | |||
| crossimpliesopposite.prfdep | |||
| diagonalsbisect.prfdep | |||
| diagonalsmeet.prfdep | |||
| diagonalsmeet2.prfdep | |||
| differenceofparts.prfdep | |||
| doublereverse.prfdep | |||
| doublesum.prfdep | |||
| doublesum2.prfdep | |||
| droppedperpendicularunique.prfdep | |||
| equalanglesNC.prfdep | |||
| equalanglesflip.prfdep | |||
| equalangleshelper.prfdep | |||
| equalanglesreflexive.prfdep | |||
| equalanglessymmetric.prfdep | |||
| equalanglestransitive.prfdep | |||
| equalitysymmetric.prfdep | |||
| equaltorightisright.prfdep | |||
| erectedperpendicularunique.prfdep | |||
| extension.prfdep | |||
| extensionunique.prfdep | |||
| findcenter.prfdep | |||
| fiveline.prfdep | |||
| halfanglelessthanright.prfdep | |||
| incenter.prfdep | |||
| inequalitysymmetric.prfdep | |||
| insideor.prfdep | |||
| interior5.prfdep | |||
| layoff.prfdep | |||
| layoffunique.prfdep | |||
| legsmallerhypotenuse.prfdep | |||
| lessthanadditive.prfdep | |||
| lessthanadditive2.prfdep | |||
| lessthanbetween.prfdep | |||
| lessthancongruence.prfdep | |||
| lessthancongruence2.prfdep | |||
| lessthannotequal.prfdep | |||
| lessthantransitive.prfdep | |||
| linedoubling.prfdep | |||
| linereflectionisometry.prfdep | |||
| localextension.prfdep | |||
| midpointunique.prfdep | |||
| notperp.prfdep | |||
| nullsegment3.prfdep | |||
| ondiameter.prfdep | |||
| oppositesideflip.prfdep | |||
| oppositesidesymmetric.prfdep | |||
| outerconnectivity.prfdep | |||
| parallelNC.prfdep | |||
| parallelPasch.prfdep | |||
| parallelbetween.prfdep | |||
| parallelcollinear.prfdep | |||
| parallelcollinear1.prfdep | |||
| parallelcollinear2.prfdep | |||
| paralleldef2A.prfdep | |||
| paralleldef2B.prfdep | |||
| parallelflip.prfdep | |||
| parallelsymmetric.prfdep | |||
| partnotequalwhole.prfdep | |||
| paste5.prfdep | |||
| planeseparation.prfdep | |||
| pointreflectionisometry.prfdep | |||
| radiiequal.prfdep | |||
| radiusdetermined.prfdep | |||
| ray.prfdep | |||
| ray1.prfdep | |||
| ray2.prfdep | |||
| ray3.prfdep | |||
| ray4.prfdep | |||
| ray5.prfdep | |||
| rayimpliescollinear.prfdep | |||
| raystrict.prfdep | |||
| rectangleparallelogram.prfdep | |||
| rectanglereverse.prfdep | |||
| rectanglerotate.prfdep | |||
| rightangleNC.prfdep | |||
| rightangleSSA.prfdep | |||
| rightcollinear.prfdep | |||
| rightreflection.prfdep | |||
| rightreverse.prfdep | |||
| righttogether.prfdep | |||
| samenotopposite.prfdep | |||
| sameside2.prfdep | |||
| samesidecollinear.prfdep | |||
| samesideflip.prfdep | |||
| samesidereflexive.prfdep | |||
| samesidesymmetric.prfdep | |||
| samesidetransitive.prfdep | |||
| squareflip.prfdep | |||
| squareparallelogram.prfdep | |||
| squarerectangle.prfdep | |||
| squaresequal.prfdep | |||
| squareunique.prfdep | |||
| subtractequals.prfdep | |||
| sumanddouble.prfdep | |||
| sumofequalsisdouble.prfdep | |||
| sumofparts.prfdep | |||
| supplementinequality.prfdep | |||
| supplementofright.prfdep | |||
| supplements.prfdep | |||
| supplements2.prfdep | |||
| supplementsymmetric.prfdep | |||
| tarskiparallelflip.prfdep | |||
| together.prfdep | |||
| together2.prfdep | |||
| trapezoiddiagonals.prfdep | |||
| triangletoparallelogram.prfdep | |||
| trichotomy1.prfdep | |||
| trichotomy2.prfdep | |||
| twolines.prfdep | |||
| twolines2.prfdep | |||
| twoperpsparallel.prfdep | |||
| tworays.prfdep |