Tate vector space (source code)

= Tate vector space
{wiki=Tate_vector_space}