def definition def or abbrev

`eventCost_decidable`

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

formal statement (Lean)

 114def eventCost_decidable (a b : EventState) : Decidable (a = b) :=

Definition body.

 115  inferInstance
 116

Lean names referenced from this declaration's body.

EventState in IndisputableMonolith.Foundation.UniversalForcing.Strict.Narrative decl_use