-
Niles Johnson authored
The problem stems from the way environment counters are handled when multiple environments share the same counter. The fix requires a new hack for the amsart documentclass, and changing the load order of the packages.
e8dcb9b8