Equivalence of Definitions of Hat-Check Distribution

Proof
Beginning with the first definition, we have: