theorem other other

`average_per_pattern`

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

formal statement (Lean)

  67theorem average_per_pattern :
  68    crossDomainModuleCount * 10 = 270 := by decide  -- 27 = 27 = 5.4 × 5

Lean names referenced from this declaration's body.

crossDomainModuleCount in IndisputableMonolith.CrossDomain.MetaTheoremCount decl_use