Corps Local

concept

un corps commutatif topologique localement compact pour une topologie non discrète

Propriétés