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 ?CircleScroll ❙
        
		include ?BouncingScroll ❙
        include ?WBouncingScroll ❙
        include ?W3DBouncingScroll ❙
        include ?T3DBouncingScroll ❙
        // include ?SinOppositeLeg ❙
        include ?CircleLineAngleScroll ❙
        include ?CircleAreaScroll ❙
        include ?ConeVolumeScroll ❙
        include ?TruncatedConeVolumeScroll ❙
        include ?RectangleScroll ❙
        include ?CuboidScroll ❙
        include ?TriangleScroll ❙
        include ?PrismScroll ❙
        include ?SimpleCircleScroll ❙
        include ?SphereScroll ❙
    ❚
❚