done all comments of today's meeting, added a lemma whose explanation needs extensive revision from you[C
done all comments of today's meeting, added a lemma whose explanation needs extensive revision from you[C