structure definition def or abbrev

`Medium`

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

formal statement (Lean)

  42structure Medium (α : Type) [HasHodge α] where
  43  eps : ℝ
  44  mu  : ℝ
  45
  46/-- Sources (charge and current). -/

From the project-wide theorem graph. These declarations reference this one in their body.

cohesiveEnergyProxy in IndisputableMonolith.Chemistry.MetallicBond decl_use
MediumStateH in IndisputableMonolith.Flight.Medium decl_use
FlightReport in IndisputableMonolith.Flight.Report decl_use
thrustVector in IndisputableMonolith.Flight.Thrust decl_use
highPriorityTests in IndisputableMonolith.Foundation.OptionAEmpiricalQueue decl_use
Admissible in IndisputableMonolith.MaxwellDEC decl_use
energy2_nonneg_pointwise in IndisputableMonolith.MaxwellDEC decl_use
Equations in IndisputableMonolith.MaxwellDEC decl_use
ChebyshevPsi_asymptotic in IndisputableMonolith.NumberTheory.Port.PNT decl_use

Lean names referenced from this declaration's body.