theorem zero_adaptation_rate_preserves_state
theorem zero_adaptation_rate_preserves_state: ∀ (state target : Int), boundedAdaptationUpdate state target 0 = state
theorem zero_adaptation_rate_preserves_state
theorem zero_adaptation_rate_preserves_state: ∀ (state target : Int), boundedAdaptationUpdate state target 0 = state