In MySQL if I create a user and grant privileges to the user, will dropping the user revoke privileges?
The DROP USER statement removes one or more MySQL accounts and their privileges. It removes privilege rows for the account from all grant tables. 


see http://dev.mysql.com/doc/refman/5.7/en/drop-user.html

PROXY is a GRANT privilege so the proxy privilege should be deleted also.