inductive definition def or abbrev

`CombinationID`

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

formal statement (Lean)

  19inductive CombinationID where
  20  | c1CognitiveTensor
  21  | c2PlanetStrata
  22  | c3OncologyTensor
  23  | c4QuantumMolecularDepth
  24  | c5AttentionTensor
  25  | c6EriksonReverse
  26  | c7UniversalResponse
  27  | c8MillerSpan
  28  | c9RegulatoryCeiling
  29  deriving DecidableEq, Repr, Fintype
  30

used by (40)

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

analysisAction in IndisputableMonolith.Foundation.OptionAEmpiricalActionPlan decl_use
EmpiricalActionPlanCert in IndisputableMonolith.Foundation.OptionAEmpiricalActionPlan decl_use
HasAnalysisAction in IndisputableMonolith.Foundation.OptionAEmpiricalActionPlan decl_use
hasAnalysisAction_all in IndisputableMonolith.Foundation.OptionAEmpiricalActionPlan decl_use
scheduled_has_analysis_action in IndisputableMonolith.Foundation.OptionAEmpiricalActionPlan decl_use
deliverableFor in IndisputableMonolith.Foundation.OptionAEmpiricalDeliverables decl_use
EmpiricalDeliverablesCert in IndisputableMonolith.Foundation.OptionAEmpiricalDeliverables decl_use
HasDeliverable in IndisputableMonolith.Foundation.OptionAEmpiricalDeliverables decl_use
hasDeliverable_all in IndisputableMonolith.Foundation.OptionAEmpiricalDeliverables decl_use
scheduled_has_deliverable in IndisputableMonolith.Foundation.OptionAEmpiricalDeliverables decl_use
EmpiricalPipelineCert in IndisputableMonolith.Foundation.OptionAEmpiricalPipeline decl_use
HasPipeline in IndisputableMonolith.Foundation.OptionAEmpiricalPipeline decl_use
hasPipeline_all in IndisputableMonolith.Foundation.OptionAEmpiricalPipeline decl_use
pipelineSpec in IndisputableMonolith.Foundation.OptionAEmpiricalPipeline decl_use
pipelineSpec_eq_iff in IndisputableMonolith.Foundation.OptionAEmpiricalPipeline decl_use
scheduled_has_pipeline in IndisputableMonolith.Foundation.OptionAEmpiricalPipeline decl_use
EmpiricalProgramCert in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
FirstPassProgramComplete in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
firstPassProgram_exact_top_priority in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
programSpec in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
ProgramSpec in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
scheduled_program_pipeline in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
scheduled_program_ready in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
EmpiricallyCovered in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
EmpiricalProtocolCert in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
ProtocolFalsifiable in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
protocolFalsifiable_all in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
ProtocolMatches in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
protocolSpec in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use
protocolSpec_eq_iff in IndisputableMonolith.Foundation.OptionAEmpiricalProtocol decl_use

… and 10 more