Definitions Found:

to become smaller