Def StateTransition.EvalsToInTime.refl

Modification history

2026-02-17 15:39
Mathlib/Computability/StateTransition.lean
refactor(Computability): file for state transition systems (#33291) …
Added StateTransition.EvalsToInTime.reflView on Github →