Talk:Comodule over a Hopf algebroid