Forum

Question about proof of lemma 14.7.38