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

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	To obtain a formula for $cs(A)$, take $P_X$ to be a trivial bundle, and take $B$ to be a connection that is trivial except over the collar $Y imes [-1,0]$.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net