isProfinite

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