`sparc_falsifier_cert`

proved

show as: view math explainer →

module: IndisputableMonolith.Gravity.SPARCFalsifier
domain: Gravity
line: 186 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Gravity.SPARCFalsifier on GitHub at line 186.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 183  global_only : GlobalOnlyPolicy
 184  ilg_beats_mond_mean : paper2_mean_chi2 < mond_mean_chi2
 185
 186theorem sparc_falsifier_cert : SPARCFalsifierCert where
 187  zero_params := zero_free_params
 188  params_from_phi := parameters_from_phi
 189  criterion_decidable := falsification_decidable
 190  global_only := global_only_policy
 191  ilg_beats_mond_mean := ilg_better_mean_than_mond
 192
 193end SPARCFalsifier
 194end Gravity
 195end IndisputableMonolith

papers checked against this theorem

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