ILG.PressureForm
IndisputableMonolith.ILG.PressureForm
No prose has been written for this declaration yet. The Lean source and graph data below render without it.
generate prose now
From the project-wide theorem graph. These declarations reference this one in their body.
IndisputableMonolith.Flight.Pressure
Phys
Kernel
effectiveSource
pressure
effectiveSource_pressure
source_equiv