def definition def or abbrev

`IsSubcritical`

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

formal statement (Lean)

  72def IsSubcritical (area demand : ℝ) : Prop :=

Definition body.

  73  demand < bandwidth area
  74
  75/-- Overloaded systems hit or exceed the bandwidth ceiling. -/

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

criticalBand_implies_subcritical in IndisputableMonolith.Unification.CriticalRecognitionLoading decl_use
criticalBand_not_overloaded in IndisputableMonolith.Unification.CriticalRecognitionLoading decl_use
criticalRecognitionLoading_certificate in IndisputableMonolith.Unification.CriticalRecognitionLoading decl_use
forcedCriticalRecognitionLoading_certificate in IndisputableMonolith.Unification.CriticalRecognitionLoading decl_use

Lean names referenced from this declaration's body.