`conservationCert`

definition

show as: view math explainer →

module: IndisputableMonolith.Physics.ConservationLawsFromRS
domain: Physics
line: 45 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Physics.ConservationLawsFromRS on GitHub at line 45.

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

  42  three_spacetime : spacetimeConserved = 3
  43  total_five : spacetimeConserved + 2 = 5
  44
  45def conservationCert : ConservationCert where
  46  five_laws := conservationLawCount
  47  three_spacetime := spacetime_conserved_eq_D
  48  total_five := total_conservation
  49
  50end IndisputableMonolith.Physics.ConservationLawsFromRS

papers checked against this theorem

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