def definition def or abbrev

`ml_geometric`

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

formal statement (Lean)

 115noncomputable def ml_geometric : ℝ := φ

Definition body.

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

H_ThreeStrategiesAgree in IndisputableMonolith.Astrophysics.MassToLight decl_use
ml_derivation_complete in IndisputableMonolith.Astrophysics.MassToLight decl_use
ml_derived_value in IndisputableMonolith.Astrophysics.MassToLight decl_use
agrees_with_nucleosynthesis in IndisputableMonolith.Astrophysics.ObservabilityLimits decl_use
agrees_with_stellar_assembly in IndisputableMonolith.Astrophysics.ObservabilityLimits decl_use
ml_from_geometry_only in IndisputableMonolith.Astrophysics.ObservabilityLimits decl_use
ml_geometric_bounds in IndisputableMonolith.Astrophysics.ObservabilityLimits decl_use
ml_geometric_is_phi in IndisputableMonolith.Astrophysics.ObservabilityLimits decl_use