Аннотация:
Получена формула для композиции высших ковариантных производных на векторном расслоении над многообразием. Она обобщает классическую формулу Лейбница для производных произведения. В качестве следствия получено обобщение теоремы автора о двойном экспоненциальном отображении на случай кратных отображений.