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

Fixed Typo

parent 0515f7ef
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
source/Scrolls/SphereScroll.mmt
+ 1
− 1
View file @ 5fc83e6b
...@@ -17,7 +17,7 @@ theory SphereScroll = ...@@ -17,7 +17,7 @@ theory SphereScroll =
❙ ❙
dMT: Σ x:ℝ . ⊦ (d- M T) ≐ x dMT: Σ x:ℝ . ⊦ (d- M T) ≐ x
❘ meta ?MetaAnnotations?label MT" ❘ meta ?MetaAnnotations?label "dMT"
❘ meta ?MetaAnnotations?description "The distance between the mid- and edgepoint (i.e. the radius)" ❘ meta ?MetaAnnotations?description "The distance between the mid- and edgepoint (i.e. the radius)"
❙ ❙
......
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