Describir: Introductory theory of topological vector spaces