def definition def or abbrev

`VacuumPersistence`

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

formal statement (Lean)

  37def VacuumPersistence (trace : Falsifiers.Trace) : Prop :=

proof body

Definition body.

  38  Falsifiers.VacuumTestFalsifier 1e-4 0.003 trace
  39
  40/-- RS Falsifier: Banding / Critical Speeds.
  41    Podkletnov reported the effect was maximized at specific rotation speeds
  42    (e.g. slowing down from 5000 rpm).
  43    RS predicts these speeds correspond to φ-resonant modes. -/

depends on (7)

Lean names referenced from this declaration's body.

modes in IndisputableMonolith.ClassicalBridge.Fluids.Galerkin2D decl_use
predicts in IndisputableMonolith.Decision.AbileneParadox decl_use
Trace in IndisputableMonolith.Flight.Falsifiers decl_use
VacuumTestFalsifier in IndisputableMonolith.Flight.Falsifiers decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
was in IndisputableMonolith.GameTheory.MechanismDesignFromSigma decl_use
Falsifiers in IndisputableMonolith.Relativity.ILG.Falsifiers decl_use