inductive definition def or abbrev

`ConstitutionalForm`

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

formal statement (Lean)

  18inductive ConstitutionalForm where
  19  | presidential
  20  | parliamentary
  21  | semiPresidential
  22  | federal
  23  | confederal
  24  deriving DecidableEq, Repr, BEq, Fintype
  25

used by (2)

From the project-wide theorem graph. These declarations reference this one in their body.

constitutionalForm_count in IndisputableMonolith.Governance.ConstitutionalFormsFromConfigDim decl_use
ConstitutionalFormsCert in IndisputableMonolith.Governance.ConstitutionalFormsFromConfigDim decl_use