Skip to content
Snippets Groups Projects
Normal view Permalink
SupplementaryAngles.omdoc 1.34 KiB
Newer Older
  • Learn to ignore specific revisions
    • Dennis Müller's avatar
    generated files
    Dennis Müller committed
    1 
    <?xml version="1.0" encoding="UTF-8"?>
    ComFreek's avatar
    System.Object[]  
    ComFreek committed
    2 
    <omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/SupplementaryAngles.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/SupplementaryAngles.mmt#0.0.0:1612.46.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/SupplementaryAngles.mmt#78.3.0:245.11.0"/></metadata><scope>\
    ComFreek's avatar
    fix scrolls  
    ComFreek committed
    3 4 5 6 7 
           \ D
        \
 ________\_________
A         B        C
    ComFreek's avatar
    frameit: fix bug in /scroll/list  
    ComFreek committed
    8 
    The scroll encodes angle ABD + angle DBC = 180°, or rather, angle DBC = 180° - angle ABD</scope></opaque><mref name="[http://mathhub.info/FrameIT/frameworld?SupplementaryAngles]" target="http://mathhub.info/FrameIT/frameworld?SupplementaryAngles"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/SupplementaryAngles.mmt#247.12.0:272.12.25"/></metadata></mref></omdoc>