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

empiricalStatus

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)

 122def empiricalStatus : CombinationID → EmpiricalStatus
 123  | .c1CognitiveTensor => .theoremPlusHypothesis
 124  | .c2PlanetStrata => .theoremPlusHypothesis
 125  | .c3OncologyTensor => .theoremPlusHypothesis
 126  | .c4QuantumMolecularDepth => .theoremPlusHypothesis
 127  | .c5AttentionTensor => .theoremPlusHypothesis
 128  | .c6EriksonReverse => .scaffoldPlusHypothesis
 129  | .c7UniversalResponse => .theoremPlusHypothesis
 130  | .c8MillerSpan => .theoremPlusHypothesis
 131  | .c9RegulatoryCeiling => .theoremPlusHypothesis
 132
 133/-- Dataset class assigned to each implemented combination. -/

depends on (3)

Lean names referenced from this declaration's body.