Ito's lemma in infinite dimensions · Study