Tate algebras

GPTKB entity