def definition def or abbrev

`parityCount`

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

formal statement (Lean)

  48def parityCount (d : ℕ) : ℕ := d ^ 2

Definition body.

  49
  50/-- The integration gap: parity count times configuration dimension. -/

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

D1_counterfactual_rung in IndisputableMonolith.Cosmology.EtaBExactRungDerivation decl_use
D2_counterfactual_rung in IndisputableMonolith.Cosmology.EtaBExactRungDerivation decl_use
D5_counterfactual_rung in IndisputableMonolith.Cosmology.EtaBExactRungDerivation decl_use
integrationGap in IndisputableMonolith.Foundation.IntegrationGap decl_use
IntegrationGapCert in IndisputableMonolith.Foundation.IntegrationGap decl_use
parityCount_at_D3 in IndisputableMonolith.Foundation.IntegrationGap decl_use

Lean names referenced from this declaration's body.