Diffractor comments on Delegative Inverse Reinforcement Learning

[Diffractor]

What is $H\left(\Delta \right[N\left]\right)$, in the context of the proof of Lemma A? I don’t believe it was defined anywhere else.