theorem proved term proof

`newton_second_law_one_statement`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  62theorem newton_second_law_one_statement :
  63    Nonempty NewtonSecondLawCert :=

Term-mode proof.

  64  ⟨newtonSecondLawCert⟩
  65
  66end Action
  67end IndisputableMonolith

Lean names referenced from this declaration's body.

newtonSecondLawCert in IndisputableMonolith.Action.NewtonSecondLawDomainCert decl_use
NewtonSecondLawCert in IndisputableMonolith.Action.NewtonSecondLawDomainCert decl_use
Action in IndisputableMonolith.Constants.RSNativeUnits decl_use