From d7e9ce1e382ce4f7a09905607684550acad8be76 Mon Sep 17 00:00:00 2001
From: Paul-Walcher <paulwalcher12@gmail.com>
Date: Tue, 25 Jun 2024 09:51:56 +0200
Subject: [PATCH] commented out right Angle Facts

---
 source/Scrolls/CuboidScroll.mmt | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/source/Scrolls/CuboidScroll.mmt b/source/Scrolls/CuboidScroll.mmt
index fc0f2de..197e53a 100644
--- a/source/Scrolls/CuboidScroll.mmt
+++ b/source/Scrolls/CuboidScroll.mmt
@@ -20,20 +20,6 @@ theory CuboidScroll =
          ❘ meta ?MetaAnnotations?description "The point above the centerpoint of the rectangle"
         ❙
 
-        rTBA: ⊦ (∠ T,(getB R),(getA R)) ≐ 90.0
-         ❘ meta ?MetaAnnotations?label "rTBA"
-         ❘ meta ?MetaAnnotations?description "A right angle between TBA, where B is the point enclosed by T A"
-        ❙
-        
-        rTBC: ⊦ (∠ T,(getB R),(getC R)) ≐ 90.0
-         ❘ meta ?MetaAnnotations?label "rTBC"
-         ❘ meta ?MetaAnnotations?description "A right angle between TBC, where B is the point enclosed by T C"
-        
-        
-        dTB: Σ x:ℝ . ⊦ (d- T ( getB R )) ≐ x
-         ❘ meta ?MetaAnnotations?label "dTB"
-         ❘ meta ?MetaAnnotations?description "The distance from the top point to B"
-        ❙
 
         
     ❚
-- 
GitLab