# It is unclear at this point whether these are correct. It is how it
# was, though, before these got moved out of amsdefs.inc.
Provides amsmath 1
# It is unclear at this point whether these are correct. It is how it
# was, though, before these got moved out of amsdefs.inc.
Provides amsmath 1