`GalaxyRotationFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.Cosmology.GalaxyRotation
domain: Cosmology
line: 240 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Cosmology.GalaxyRotation on GitHub at line 240.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 237    1. Rotation curves not flat (already confirmed)
 238    2. No dark matter (MOND works everywhere)
 239    3. Ledger distribution doesn't match observations -/
 240structure GalaxyRotationFalsifier where
 241  curves_not_flat : Prop
 242  mond_works_everywhere : Prop
 243  ledger_mismatch : Prop
 244  falsified : curves_not_flat ∨ mond_works_everywhere → False
 245
 246end GalaxyRotation
 247end Cosmology
 248end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.