df2_dm_ratio
plain-language theorem explainer
The declaration assigns the numerical value 1.5 to the dark-matter-to-stellar-mass ratio observed in NGC 1052-DF2. Galaxy observers and Recognition Science modelers cite this constant when testing predictions of spatially varying substrate coherence against UDG samples. The definition consists of a direct numerical assignment.
Claim. The dark matter to stellar mass ratio for NGC 1052-DF2 is $1.5$.
background
The module treats dark matter as the substrate, a ledger carrier whose distribution follows recognition coherence rather than particle dynamics. NGC 1052-DF2 is presented as a low-coherence example with minimal dark matter content, in contrast to DM-rich cases such as Dragonfly 44. The module states that UDG diversity is a natural consequence of substrate distribution and that ILG fits rotation curves without additional dark matter components.
proof idea
The definition is a direct numerical assignment of the constant 1.5.
why it matters
This constant supplies the input for the theorems ngc1052df2_dm_poor, no_universal_ratio, standard_models_challenged, and udg_diversity_real. It supports the module claim that UDG diversity follows from spatially varying recognition coherence and that standard models face difficulty with the observed spread. The placement aligns with the substrate model in the Recognition Science framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.