theorem
other
other
failureModeCount
No prose has been written for this declaration yet. The Lean source and graph data below render
without it.
generate prose now
formal statement (Lean)
32theorem failureModeCount : Fintype.card FailureMode = 5 := by decide
used by (7)
From the project-wide theorem graph. These declarations reference this one in their body.
-
structuralSafetyCert
in IndisputableMonolith.Engineering.StructuralSafetyFromJCost
decl_use
-
failureModeCount
in IndisputableMonolith.Governance.InstitutionalFailureFromJCost
decl_use
-
governanceCert
in IndisputableMonolith.Governance.InstitutionalFailureFromJCost
decl_use
-
failureModeCount
in IndisputableMonolith.Materials.FatigueFractureMechanicsFromJCost
decl_use
-
fatigueFractureCert
in IndisputableMonolith.Materials.FatigueFractureMechanicsFromJCost
decl_use
-
failureModeCount
in IndisputableMonolith.Sociology.GovernanceDesignFromConfigDim
decl_use
-
governanceDesignCert
in IndisputableMonolith.Sociology.GovernanceDesignFromConfigDim
decl_use
depends on (7)
Lean names referenced from this declaration's body.
-
FailureMode
in IndisputableMonolith.Engineering.StructuralSafetyFromJCost
decl_use
-
FailureMode
in IndisputableMonolith.Foundation.OptionAFalsifierRegistry
decl_use
-
FailureMode
in IndisputableMonolith.Governance.InstitutionalFailureFromJCost
decl_use
-
failureModeCount
in IndisputableMonolith.Governance.InstitutionalFailureFromJCost
decl_use
-
FailureMode
in IndisputableMonolith.Materials.FatigueFractureMechanicsFromJCost
decl_use
-
failureModeCount
in IndisputableMonolith.Materials.FatigueFractureMechanicsFromJCost
decl_use
-
failureModeCount
in IndisputableMonolith.Sociology.GovernanceDesignFromConfigDim
decl_use