df44_dm_ratio
plain-language theorem explainer
The definition assigns the value 70 to the dark matter to stellar mass ratio for Dragonfly 44. Galaxy formation researchers testing ultra-diffuse galaxy observations against modified gravity models cite this constant when quantifying coherence variations. It is introduced as a fixed real number that subsequent results unfold for direct numerical comparison against thresholds such as 50.
Claim. Let $r_{DF44}$ denote the dark-matter-to-stellar-mass ratio for Dragonfly 44. Then $r_{DF44} = 70$.
background
The module examines ultra-diffuse galaxies under the Recognition Science substrate model for dark matter. Dark matter functions as a ledger carrier distributed by recognition coherence rather than particle dynamics. Dragonfly 44 serves as the high-coherence, DM-rich case while NGC 1052-DF2 illustrates the low-coherence, DM-poor case. The module states: 'In Recognition Science, dark matter is the substrate (DS-001), not particles.' This supplies the concrete ratio for the DM-rich example in the diversity analysis.
proof idea
The declaration is a direct constant assignment of 70.0 with no lemmas or tactics applied.
why it matters
This constant supplies the input for dragonfly44_dm_rich, which proves the ratio exceeds 50, and for no_universal_ratio, which shows it differs from the DF2 value. It anchors the experimental claim that UDG diversity follows from spatially varying substrate coherence, consistent with the ILG derivation. The placement supports the module verdict that standard models face difficulty with such diversity while the substrate picture accommodates both rich and poor cases naturally.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.