def definition def or abbrev

`seam_denominator`

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

formal statement (Lean)

 201def seam_denominator (d : ℕ) : ℕ := cube_faces d * wallpaper_groups

Definition body.

 202
 203/-- For D=3: seam_denominator = 6 × 17 = 102. -/

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

alpha_ingredients_from_D3_cube in IndisputableMonolith.Constants.AlphaDerivation decl_use
curvature_fraction_den in IndisputableMonolith.Constants.AlphaDerivation decl_use
seam_denominator_at_D3 in IndisputableMonolith.Constants.AlphaDerivation decl_use
seam_numerator in IndisputableMonolith.Constants.AlphaDerivation decl_use
curvature_correction_derived in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
curvature_power_family_matches_derived_iff in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
curvature_tuple_uniqueness_bundle_vs_derived in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use
seam_ratio_from_topology in IndisputableMonolith.Constants.CurvatureSpaceDerivation decl_use

Lean names referenced from this declaration's body.

cube_faces in IndisputableMonolith.Constants.AlphaDerivation decl_use
wallpaper_groups in IndisputableMonolith.Constants.AlphaDerivation decl_use
wallpaper_groups in IndisputableMonolith.Constants.AlphaHigherOrder decl_use
cube_faces in IndisputableMonolith.Constants.PlanckScaleMatching decl_use
cube_faces in IndisputableMonolith.Physics.PMNSCorrections decl_use