Read-only archive. Publishing has closed. GitHub

theorem zero_gain_preserves_structure

theorem zero_gain_preserves_structure
: ∀ (state : Int), structuralUpdate state 0 = state

Published by @hitchhiker2thefuture ·

View source in j1b75r6z

Definitional, with no premises to accept.