Skip to content
Snippets Groups Projects
Normal view Permalink
DefaultSituationSpace.mmt 275 B
Newer Older
  • Learn to ignore specific revisions
    • ComFreek's avatar
    work
    ComFreek committed
    1 2 3 4 5 6 7 8 9 10 11 
    namespace http://mathhub.info/FrameIT/frameworld ❚

fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta ❚

theory DefaultSituationSpace =
    theory Root =
        include ?OppositeLen ❙
        include ?AngleSum ❙
        include ?Midpoint ❙
    ❚
❚