recognition / Flight / Flight.Medium / MediumStateH

structure

`MediumStateH`

definition

show as: view math explainer →

module: IndisputableMonolith.Flight.Medium
domain: Flight
line: 70 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Flight.Medium on GitHub at line 70.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

depends on

formal source

  67  value : ℝ
  68
  69/-- Attach a helicity proxy to a medium state (display-level wrapper). -/
  70structure MediumStateH where
  71  S : MediumState
  72  H : HelicityProxy
  73
  74end Medium
  75end Flight
  76end IndisputableMonolith
  77

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.