theorem compressed_policy_equal_on_equal_representation

theorem compressed_policy_equal_on_equal_representation
theorem compressed_policy_equal_on_equal_representation
: ∀ {History State Action : Type} (representation : History → State) (policy : State → Action) (h₁ h₂ : History),
  representation h₁ = representation h₂ →
    compressedPolicy representation policy h₁ = compressedPolicy representation policy h₂

Published by @hitchhiker2thefuture · Sep 10, 2026

View source in j1b75r6z

Definitional, with no premises to accept.