#\DeclareLyXModule{AMS Theorems (Numbered by Type)}
-#\DeclareCategory{Theorems}
+#\DeclareCategory{Maths}
#DescriptionBegin
#Defines theorem environments and the proof environment using the extended
#AMS machinery. Both numbered and unnumbered types are provided. Contrary to the