theorem proved term proof

`three_domain_product`

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

formal statement (Lean)

  83theorem three_domain_product :
  84    Fintype.card (SensoryModality × PrimaryEmotion × BiologicalState) = 125 :=

Term-mode proof.

  85  triple_product_125 sensory_hasConfigDim5 emotion_hasConfigDim5 biological_hasConfigDim5
  86
  87/-- All five domains together: 5^5 = 3125. -/

Lean names referenced from this declaration's body.

biological_hasConfigDim5 in IndisputableMonolith.CrossDomain.ConfigDimUniversality decl_use
BiologicalState in IndisputableMonolith.CrossDomain.ConfigDimUniversality decl_use
emotion_hasConfigDim5 in IndisputableMonolith.CrossDomain.ConfigDimUniversality decl_use
PrimaryEmotion in IndisputableMonolith.CrossDomain.ConfigDimUniversality decl_use
sensory_hasConfigDim5 in IndisputableMonolith.CrossDomain.ConfigDimUniversality decl_use
SensoryModality in IndisputableMonolith.CrossDomain.ConfigDimUniversality decl_use
triple_product_125 in IndisputableMonolith.CrossDomain.ConfigDimUniversality decl_use