delta

sjc deltaPoly

deltaCNil

GenericDelta

deltaCoproduct

GenericDelta

deltaPoly

GenericDelta