For future, you can just try googling "Python import re" to find that out, it's that simple :)
But as you are asking - its a Python module to work with regular expressions - https://docs.python.org/3/library/re.html

Remember that you need to put ; after a view creation statement, this way it will work here.
Also SQLite isn't warning you about an errors of fields you put in HAVING, so beware.

actually there is: "... ordered by the members id" - check description

Just looking on it and thinking "yeaah, that's how you really can do it elegantly in original way), but as other say, it has O(n^2) complexity.