Kerodon
$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
about
changes
recent comments
bibliography
previous
next
statistics
comments (2)
Part
3
: Appendix
Chapter
11
: Retired Tags
Section
11.6
: Reclassified Tags
Notation
11.6.0.38
: Degeneracy Operators
(
cite
)
previous
next
view as pdf
comments (2)
statistics
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Notation
11.6.0.38
(Degeneracy Operators)
.
See Construction
1.1.2.1