Tate topology (source code)

= Tate topology
{wiki=Tate_topology}