import KomorebiPaperIII.EdgeOperators
import KomorebiPaperIII.EdgeExtensions
import KomorebiPaperIII.Transport
import KomorebiPaperIII.ReversibleConnections
import KomorebiPaperIII.CoordinateNaturality
import KomorebiPaperIII.HolonomyBlocks
import KomorebiPaperIII.NonlinearObstructions