Skip to content
Snippets Groups Projects
Commit 16e8e7f2 authored by Paul-Walcher's avatar Paul-Walcher
Browse files

added length to cuboid

parent 819ecd6c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
source/Scrolls/CuboidScroll.mmt
+ 5
− 0
View file @ 16e8e7f2
...@@ -28,6 +28,11 @@ theory CuboidScroll = ...@@ -28,6 +28,11 @@ theory CuboidScroll =
rTBC: ⊦ (∠ T,(getB R),(getC R)) ≐ 90.0 rTBC: ⊦ (∠ T,(getB R),(getC R)) ≐ 90.0
❘ meta ?MetaAnnotations?label "rTBC" ❘ meta ?MetaAnnotations?label "rTBC"
❘ meta ?MetaAnnotations?description "A right angle between TBC, where B is the point enclosed by T C" ❘ 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"
❙ ❙
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment