title: How do I check if a given Python string is a substring of another one?
body: <p>I have two strings and I would like to check whether the first is a substring of the other. Does Python have such a built-in functionality?</p>