structure definition def or abbrev

`EnergyFunctional`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  53structure EnergyFunctional (D : DiscreteModel) where
  54  E : D.State → ℝ
  55
  56end Fluids
  57end ClassicalBridge
  58end IndisputableMonolith

depends on (4)

Lean names referenced from this declaration's body.

State in IndisputableMonolith.ClassicalBridge.Fluids.CPM2D decl_use
DiscreteModel in IndisputableMonolith.ClassicalBridge.Fluids.Discrete decl_use
E in IndisputableMonolith.Foundation.SpectralEmergence decl_use
State in IndisputableMonolith.NavierStokes.DiscreteVorticity decl_use