Remark 9.1.7.17. Corollary 9.1.7.16 has a counterpart in the degenerate case $\kappa = \lambda $, which we will discuss in ยง9.1.8 (see Proposition 9.1.8.5).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 9.1.7.17. Corollary 9.1.7.16 has a counterpart in the degenerate case $\kappa = \lambda $, which we will discuss in ยง9.1.8 (see Proposition 9.1.8.5).