title: When you import a library in Python, where do you import it from?
body: <p>When you import a library in Python, where do you import it from? For example, if you do <code>import math</code>, where does it come from? Why couldn't it be included in the first place?</p>