pith. machine review for the scientific record. sign in
def definition def or abbrev

analysisAction

show as:
view Lean formalization →

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

generate prose now

formal statement (Lean)

  40def analysisAction : CombinationID → AnalysisAction
  41  | .c3OncologyTensor => .fitFactorModel
  42  | .c8MillerSpan => .fitDiscreteCollapse
  43  | .c5AttentionTensor => .plateauDetection
  44  | .c9RegulatoryCeiling => .countRegulatoryStates
  45  | .c2PlanetStrata => .estimatePhiPowerRatio
  46  | .c1CognitiveTensor => .trainMultiaxisDecoder
  47  | .c7UniversalResponse => .fitSharedResponseCoefficient
  48  | .c4QuantumMolecularDepth => .benchmarkCircuitAddressing
  49  | .c6EriksonReverse => .orderProgressionTest
  50

used by (12)

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

depends on (2)

Lean names referenced from this declaration's body.