Skip to content
Snippets Groups Projects
Commit 1a4227b9 authored by Paul-Walcher's avatar Paul-Walcher
Browse files

cylinder Type added

parent e97a2032
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 10 additions and 0 deletions
source/MetaTheories.mmt
+ 10
− 0
View file @ 1a4227b9
......@@ -373,6 +373,16 @@ theory CuboidType =
cuboidCons : Rectangle ⟶ point ⟶ Cuboid ❘ # CuboidCons 1 2 ❙
❚
theory CylinderType =
include ☞http://mathhub.info/MitM/core/geometry?3DGeometry ❙
include ☞http://mathhub.info/MitM/core/geometry?Planes ❙
include ?FrameITBasics ❙
include ?FrameITCircle ❙
cylinderType : type ❘ # Cylinder ❙
cylinderCons : circle ⟶ point ⟶ Cylinder ❘ # CylinderCons 1 2 ❙
❚
theory FrameITTheories =
include ☞http://mathhub.info/MitM/core/geometry?3DGeometry ❙
include ☞http://mathhub.info/MitM/core/geometry?Planes ❙
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment