def definition def or abbrev

`constraintReason`

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

formal statement (Lean)

 168def constraintReason : Power → Option ConstraintReason
 169  | .duplication             => some .zConservation
 170  | .realityWarping          => some .jUniqueness
 171  | .creationExNihilo        => some .costOfNothing
 172  | .absoluteInvulnerability => some .boundaryDissolution
 173  | _                        => none
 174

used by (1)

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

constrained_has_reason in IndisputableMonolith.Superhuman.Core decl_use

depends on (2)

Lean names referenced from this declaration's body.

ConstraintReason in IndisputableMonolith.Superhuman.Core decl_use
Power in IndisputableMonolith.Superhuman.Core decl_use