ShellField

Ported from scottnarmstrong/Superdiffusion at 7f20476385d4af418f110303085ad0740c9eba46. Module imports, support namespace and local option directives adapted for Lean Pool.

noncomputable def Algsuperdiff.Frozen.Assumptions.ShellField (d : ℕ) : Type

Skew matrix fields with continuous first and second derivatives.

Equations

• One or more equations did not get rendered due to their size.