DefaultSituationSpace.mmt

namespace http://mathhub.info/FrameIT/frameworld ❚

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

theory DefaultSituationSpace =
    theory Root =
        include ?SupplementaryAngles ❙
        include ?OppositeLen ❙
        include ?AngleSum ❙
      //  include ?ParallelLines ❙
	 //   include ?InterceptTheorem ❙
	    include ?Pythagoras❙
	    include ?CylinderVolumeScroll❙
		include ?CircleLineAngleToAngleScroll❙

        include ?Midpoint ❙
        include ?Test ❙
        include ?CircleScroll ❙
        
        include ?MuchBetterCircleScroll ❙
		include ?BouncingScroll ❙
        include ?WBouncingScroll ❙
        include ?W3DBouncingScroll ❙
        include ?T3DBouncingScroll ❙
      //  include ?SinOppositeLeg ❙
        include ?CircleLineAngleScroll ❙
        include ?CircleAreaScroll ❙
        include ?ConeVolumeScroll ❙
        include ?TruncatedConeVolumeScroll ❙
        include ?RectangleScroll ❙
        include ?CuboidScroll ❙
        



    ❚
❚