Kerodon
$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
about
changes
recent comments
bibliography
previous
next
statistics
1 tag refers to this tag
comments (0)
Part
3
: Appendix
Chapter
9
: Retired Tags
Section
9.6
: Reclassified Tags
Remark
9.6.0.29
: Base Change
(
cite
)
previous
next
view as pdf
comments (0)
statistics
1 tag refers to this tag
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark
9.6.0.29
.
The contents of this tag are now at Proposition
7.1.5.19
.