fix

source/Scrolls/OppositeLen.mmt

@@ -13,12 +13,12 @@ theory OppositeLen_Problem =
     ❙
 
     measuredAngleABC
-        : Σ a:ℝ. ⊦ ( ∠ pA,pB,pC ) ≐ a ❘
+        : Σ a:ℝ. ⊦ ( ∠ A,B,C ) ≐ a ❘
         meta http://mathhub.info/FrameIT/frameworld?ScrollMeta?parameterDescriptionUI "Angle at B"
     ❙
 
     rightAngleBCA
-        : ⊦ ( ∠ pB,pC,pA ) ≐ 90.0 ❘
+        : ⊦ ( ∠ B,C,A ) ≐ 90.0 ❘
         meta http://mathhub.info/FrameIT/frameworld?ScrollMeta?parameterDescriptionUI "Right angle at C"
     ❙
 ❚