module module

`IndisputableMonolith.Sociology.GovernanceDesignFromConfigDim`

show as: view Lean formalization →

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

generate prose now

declarations in this module (11)

inductive CanonicalInstitution L26
theorem institutionCount L30
inductive InstitutionalFailureMode L32
theorem failureModeCount L36
inductive GovernanceCriterion L39
theorem criterionCount L43
structure GovernanceAssignment L46
def fullGovernance L53
theorem full_governance_unique L56
structure GovernanceDesignCert L59
def governanceDesignCert L65