Review for NeurIPS paper: Domain Adaptation with Conditional Distribution Matching and Generalized Label Shift

Moreover, it would also be helpful to have a sketch of proof for Theorems 3.1 and 3.4 so that it is possible to have a general idea of the main steps. Minor: Labelled (line 15) vs Labeled (line 57): pick one and be consistent throughout the text.