On this page:
1 Case of
2 General case

Zero curvature

    1 Case of

    2 General case

1 Case of

Doing literally this does not work:

(wrong!)

The correct formula is:

(17)

2 General case

(Partly conjectured, partly proven) Use the anchor map

and its lifts and such that

(18)

What we actually checked is another identity: