Kerodon
$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
about
changes
recent comments
bibliography
previous
statistics
comments (0)
Part
3
: Appendix
Chapter
11
: Retired Tags
Section
11.7
: Retired Sections
Remark
11.7.0.16
(
cite
)
previous
view as pdf
comments (0)
statistics
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark
11.7.0.16
.
The contents of this subsection were merged into §
1.4.5
and §
1.3.6
.