In this Wiki page, it says that group cohomology can be defined as right derived functor of $F$, where $F(M)=M^G$. There are two different equivalent definition in the page, by explicit cochains and Ext functor.
So I just wonder how can I show the first definition is equivalent to the other two? Thanks!