#changed by loading one of the Theorems (By ...) modules.
#DescriptionEnd
#Excludes: theorems-std | theorems-starred
+#Category: theorems
# Original Author : David L. Johnson <dlj0@lehigh.edu>
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>