Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

about
changes
recent comments
bibliography

previous
next

statistics

comments (0)

Part 3: Appendix
Chapter 11: Retired Tags
Section 11.5: Tags Lost in Reorganization
Corollary 11.5.0.41 (cite)

previous
next

view as pdf
comments (0)

statistics

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Corollary 11.5.0.41. See Proposition 11.6.0.49.

Proof. Combine Proposition 11.5.0.37 with Corollary 11.6.0.48. $\square$