title: How to export an "IPython.lib.display.Audio" file as a mp3 or wav file?
body: <p>I have generated a music file for the first time. The music file type is "IPython.lib.display.Audio". I wanted to export it from colab to my local drive.I couldn't find any solution from google. Please help. </p>