OAI/Geometry/PrescribedPotential/InverseTraceCalculus.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Inverse Trace Calculus.

  1. lemma OAI.KaehlerCalculus.second_mderiv_inverse_at_one line 16
  2. lemma OAI.KaehlerCalculus.second_mderiv_mul line 35
  3. lemma OAI.KaehlerCalculus.second_wderiv_trace line 52
  4. lemma OAI.KaehlerCalculus.second_wderiv_inverse_trace_at_one line 62