 The proofs exploit group structure of the set of Azema-Yor processes, indexed by functions, which we introduce.
<fluency>  The proofs exploit group structure of the set of Azema-Yor processes, indexed by functions, which we introduce.
 The proofs exploit group structure of the set of Az\'ema-Yor processes, indexed by functions, which we introduce.