def definition def or abbrev

`partialDifferentialEquationsCert`

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

formal statement (Lean)

  30def partialDifferentialEquationsCert : PartialDifferentialEquationsCert where
  31  five_types := pdeTypeCount

Definition body.

  32
  33end IndisputableMonolith.Mathematics.PartialDifferentialEquationsFromRS

Lean names referenced from this declaration's body.

PartialDifferentialEquationsCert in IndisputableMonolith.Mathematics.PartialDifferentialEquationsFromRS decl_use
pdeTypeCount in IndisputableMonolith.Mathematics.PartialDifferentialEquationsFromRS decl_use