#\DeclareLyXModule{AMS Theorems}
-#\DeclareCategory{Theorems}
+#\DeclareCategory{Maths}
#DescriptionBegin
#Defines theorem environments and the proof environment using the extended
#AMS machinery. Both numbered and unnumbered types are provided. By default,