This is a consequence of Theorem 4.40 (Fall 2019), but I think it's better to separate this out sooner. And then use this fact together with Theorem 2.29 (Fall 2019) will prove 4.40. If I make this change, then I should modify the paragraph prior to Theorem 4.41 (Fall 2019).
dcernst
commented
4 years ago
This is a consequence of Theorem 4.40 (Fall 2019), but I think it's better to separate this out sooner. And then use this fact together with Theorem 2.29 (Fall 2019) will prove 4.40. If I make this change, then I should modify the paragraph prior to Theorem 4.41 (Fall 2019).