Example 11.6.0.110 (Parametrized Contravariant Transport). The contents of this tag are now at Variant 5.2.8.6.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Example 11.6.0.110 (Parametrized Contravariant Transport). The contents of this tag are now at Variant 5.2.8.6.