About: http://webisa.webdatacommons.org/343619023

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	If XX is a locally nicely behaved space such as a CW complex and ????=Sh(X)\mathbb{E} = Sh(X), then ?? 1(????)\pi_1(\mathbb{E}) is the profinite completion of ?? 1(X)\pi_1(X).
http://www.w3.org/ns/prov#wasQuotedFrom	ncatlab.org