Kerodon
$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
about
changes
recent comments
bibliography
statistics
comments (3)
Part
3
: Appendix
Chapter
11
: Retired Tags
Section
11.9
: Retired Subsections
Subsection
11.9.1
: Detecting Equivalences of $\infty $-Categories
(
cite
)
view as pdf
comments (3)
statistics
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
11.9.1
Detecting Equivalences of $\infty $-Categories