[console_scripts]
amsthm=amsthm:main

