OAI/Geometry/PrescribedPotential/MetricQuasilinearEquation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Metric Quasilinear Equation.

  1. lemma OAI.KaehlerCalculus.LocalKaehlerField.metric_quasilinear_equation line 19