Warning 9.3.7.7. In the formulation of Corollary 9.3.7.6, the assumption $\kappa \trianglelefteq \lambda $ cannot be omitted. See Exercise 9.3.7.8.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Warning 9.3.7.7. In the formulation of Corollary 9.3.7.6, the assumption $\kappa \trianglelefteq \lambda $ cannot be omitted. See Exercise 9.3.7.8.