isProfinite

URI: https://gptkb.org/prop/isProfinite
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Gal(\overline{\mathbb{Q}}/\mathbb{Q}) true
gptkb:Étale_fundamental_group true
gptkb:p-adic_integers true