Source

auctex / etc / amsthm.el

Diff from to
The file 'etc/amsthm.el' did not change between these commits.