term𝒅 — Mathlib

English

The differential respects composition of smooth maps: 𝒅(g ∘ f) = (𝒅g ∘ f) ∘ 𝒅f.

Русский

Дифференциал сохраняет композицию гладких отображений: 𝒅(g ∘ f) = (𝒅g ∘ f) ∘ 𝒅f.

LaTeX

$$$$ \mathrm{fdifferential}(g \circ f) = (\mathrm{fdifferential}\, g \circ f) \circ (\mathrm{fdifferential}\, f). $$$$

Lean4

@[inherit_doc fdifferential, scoped term_parser 1000]
public meta def «term𝒅» : Lean.ParserDescr✝ :=
  ParserDescr.node✝ `Manifold.«term𝒅» 1024 (ParserDescr.symbol✝ "𝒅")

Похожие утверждения