https://filesoo.com/product/7060/summer-school-on-topological-vector-spaces