Date: January 26, 2022 Contents Revision history for amsthm Revision history for amsthm v1.2.3: first release and proof of concept.