Math 2.0

Inventory: other names

The rows of the inventory whose names start with a character that is not a letter of A to Z. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 301–400 of 25924.

NameIdKindOutcomeSources
$\Site$ has binary productsCW0FZ246DMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#1OFJ
$\Site$ is a category4ERRD96SS6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#WT1Z
$\Site_\pt$ has all finite productsTV428YEHSRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#E03S
$\Site_\pt$ with the trivial topology is a concrete siteYPD2MF44YGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#V9GG
$\SO(3)$ and a ball quotientQK683GEZW0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14582#MFTW
$\SO(3)$ and a spherical quotientF0TSADM35Xstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14582#2DG4
$\SSS$ is a quasitopos3JY7YGQJVZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#NC1N
$\SSS$ is the category of concrete presheavesTAVTHGTZJ4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#D0EE
$\star$-TrisectionFSFQPEZN7Qdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1911.06467#PU9K
$\SU(2)$ and a spherical quotientV0T59EE3XNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14582#S5M2
$\tau$-hitting SetAJ3Z1W2JPMdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.33219#5OGT
$\tau$-Vandermonde--Pfaff convolutionKNQK0PYKYZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08568#AZT7
$\tau$-variation8X524XK1V3definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24451#88S0
$\tau$-weight measureA3NN9AEVWXdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24451#36HG
$\textsf{Nat}$ is a PERJ3NNM7MHFGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#7757
$\textsf{Nat}$ reads back correctlyHR9YET0J8Xstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#ZY5E
$\text{SL}$-equivalenceY8T1GT85T0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.15535#4B3M
$\theta$-capillary convex bodyTTH8RDPSF4definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.09840#YVT5
$\theta$-cobordismTBCP37Z303definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.07608#MZOK
$\theta$-Ostrowski representation3M4348H2SKdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.12691#I61G
$\theta_\star=\theta_r$ and $W_\star=W_r$BD94NTK0S8statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.01731#2USW
$\TT^d$ with a $C^2$-type classAJ3HR25HVYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20106#E24F
$\twop$ classifies embeddingsW2AVAV311Ystatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#JDRQ
$\U$-derivativeST0466S0PXdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20593#QA2W
$\Uc_i$ implies $\mathrel{<:_i}$2P2NS3P2CGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#KR27
$\Uc_i^\ast$ closed under $\Uc_i$-equivalenceYGAYKQA8H4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#RTRL
$\Und$, $\flat$ and $\sharp$ are functorsBJJRV6VHNBstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#8O0N
$\UP$ set6JJ8Q08XC1definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.12484#Z89E
$\UUU = \XXX$, $C=C_0$C2GE47NFCPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#X6QO
$\UUU = \XXX$, $C=C_0$, $\AAA = \AAA_U$TEQMP4B5GDstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#CICI
$\UUU = \XXX$, $C=C_0=\PP^1_k$, $\xi = 0$7Q33KGRJR7statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#IOE3
$\UUU = \XXX$, $C=C_0=\PP^1_k$, $\xi \neq 0$18JT0X64XFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#R182
$\UUU\subset \XXX$, $C_0 \subset C$, $\xi = 0$KC4TEW5F0Tstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2106.11898#CJPA
$\V p$-conditional Riesz pairD0YHNAKEDMdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14920#17D2
$\V p$-conditional Riesz pairM9G144Q7QVdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14906#VO5L
$\V p$-conditional Riesz pairs generated by $\Op L$61JAFF9MJCstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14906#QOB5
$\varepsilon$-Nash equilibriumWZ129M9GE0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26265#YT45
$\varepsilon$-NFAET90RXAGMXunknownopenmathlib_overview Logic and computation > Formal languages > $\varepsilon$-NFA, Mathlib εNFA
$\varepsilon$-pseudospectrumYFW57RVC53definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.01501#HVU2
$\varphi$-decompositionDEY07T9E3Dstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26134#0YWF
$\varphi_{R, j}$ propertiesJET1M5VK0Zstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28454#O2T4
$\Vdash \Gamma$ implies $\vdash \Gamma$XMCVX08MC7statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21131#3QL8
$\vee$ Elimination2FRFC1616Vstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.16491#L2CT
$\w$-typeQEMQGD9YY8conceptopenhott_book index/8.3/w-type
$\w$-type, as homotopy-initial algebraYYC2SCQSBEconceptopenhott_book index/8.4/w-type-as-homotopy-initial-algebra
$\w$-type, impredicative encoding of2N8JY5HQSPconceptopenhott_book index/8.8/w-type-impredicative-encoding-of
$\wedge$ InversionF86GC07E6Ystatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.16491#DJKR
$\xbf$-conditioned independence polynomial of $\RR(G)$VTQYJY6XCYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35102#PB3O
$\Z/n\Z$ and its invertible elements4VGZ200EPYunknownopenmathlib_undergrad Ring Theory > Divisibility in integral domains > $\Z/n\Z$ and its invertible elements, Mathlib ZMod.unitOfCoprime
$\Zc2$-cohomology of $\RP^n$WSQ2P03ZH8exerciseopennapkin tex/homology/cohomology.tex#problem-1
$\ZZ$ is a Dedekind domain383GKNSN4Gexampleopennapkin tex/alg-NT/dedekind.tex#example-1
$\ZZ$ is the infinite cyclic groupWB3KCC0QWFexampleopennapkin tex/H113/quotient.tex#example-1
$\ZZ/5\ZZ$AMNWV6CH8Vexampleopennapkin tex/H113/ring-intro.tex#example-11
$\ZZ_T$-invariant group divisible packingsNY3J25V46Fstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.10973#KFZ1
$A[X]$ has gcd and lcm if $A$ does7ABVCFEJKVunknownopenmathlib_overview General algebra > Polynomials and power series > $A[X]$ has gcd and lcm if $A$ does, Mathlib Polynomial.normalizedGcdMonoid
$A[{X_i}]$ is a UFD when $A$ is a UFDQ7E1S3CJDKunknownopenmathlib_overview General algebra > Polynomials and power series > $A[{X_i}]$ is a UFD when $A$ is a UFD, Mathlib MvPolynomial.uniqueFactorizationMonoid, mathlib_undergrad Ring Theory > Divisibility in integral domains > $A[{X_i}]$ is a UFD when $A$ is a UFD
$A_2$ in type $F_4$1C433AR4MSexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16931#TCBC
$A_3^{(1)}$-typeCZA0TC7BW2statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.11433#EHS8
$A_4^{(1)}$-typeZFTWKCRHQXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.11433#G85A
$A_5^{(1)}$-typeB61JXDQ8YMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.11433#2LAX
$A_6^{(1)}$-type4H52XAKA4Xstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2104.11433#SLNZ
$A_{18}$'s exact stabiliserDEK3D2CAAWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25120#1CMA
$a_{R}$ mapZXJ2M3QX8Ndefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28454#1NES
$B$ generates $G$SW26XGZ6A3statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.00902#NX06
$C$-global localizationAJBMH0JNGJdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21675#J4HS
$C$-global spectraAWXA4XPPPPdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21675#48F9
$C$-initial algebra3DTZEHN1JVdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2405.14678#VJ8J
$c$-interior $\varepsilon$-PMLBASF6R7W0Gdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28297#2NU7
$c$-interior PML to LDP7VCJW0TXG1statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28297#IS6W
$C$-viscosity solutionBDRDG9G1DSdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.09494#JDCR
$C^1$ specialization of Theorem 4.2DQN70D1PB2statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.05428#VNV1
$C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 1MXDQVD1G4Bstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#U2EO
$C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 28TFRHA0XFRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#VG75
$C^1$ weighted $C^{(1,2)}$ Penrose singularity theoremZ0J6WFG99Jstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#0LBY
$C^1$-Hopf-RinowBXMW6SVA5Rstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2406.06762#95GB
$C^\infty$-smoothAKMMDEGC23conceptopenlebl_scv index/2.2/c-infty-smooth
$C^k$ cell decomposition7WGPAGPKJPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03126#0QTN
$C^k$ decompositionsMX454N7M62definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03126#D6LT
$C^k$ functionHFA0JPSYATunknownopenmathlib_overview Analysis > Differentiability > $C^k$ function, Mathlib ContDiff, mathlib_undergrad Multivariable calculus > Differential calculus > $k$-times continuously differentiable functions, mathlib_undergrad Single Variable Real Analysis > Differentiability > $C^k$ functions
$C^k$-smooth boundaryWQ1K28BKZ7conceptopenlebl_scv index/2.2/c-k-smooth-boundary
$C^k$-smooth functionRQGV8ND6NCconceptopenlebl_scv index/1/c-k-smooth-function
$C^k$-smooth hypersurfaceQ1J4XS1YXRconceptopenlebl_scv index/2.2/c-k-smooth-hypersurface
$C^k$-uniform tangency309S2R4ZXHdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.18078#MPNZ
$C^k$-uniform tangencyD4GWXYB185definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.18078#DNUV
$C^N$-conjugation9HQTX32PW3definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.01050#OOZ0
$C^N$-linearizationQX885YED51definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.01050#UOHB
$C^{(1,3)}$ Hawking singularity theorem, version 1GGGZZGSY63statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#QMJR
$C^{(1,3)}$ Hawking singularity theorem, version 1, general $K$A5MCW3BKK6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#EHBI
$C^{(1,3)}$ Penrose singularity theoremSQ4GSZ3HESstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#RK98
$C^{(k,l),\alpha}$ Finsler spacetimes6SPNXFQHEKdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#GINI
$C^{(k,l),\alpha}$ Lorentz--Finsler structuresYWH8XMEN9Adefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#LGYJ
$C^{(k,l),\alpha}$-regular mapsJJCQM7EKJPdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#ID7A
$C^{(k,l)}$ Lorentz--Finsler structuresQ289DDEPNJdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11911#O8ZW
$C^{1,\theta}$ estimatesP2DJHY51XYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.32829#U4Y6
$C^{2,\theta}$ estimatesEAQWH70ZEAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.32829#UAL6
$C^{2,\theta}$ estimatesZMZT7SQ3HRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.32829#Z8FW
$C^{sp'}$-conjecture42N8YHSVRPconjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.12012#B8RC
$C_0$-semigroup5843AWWKQRdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16094#7HMS
$C_5$,$C_6$ZA655YQ1P1examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2604.02255#QBRZ
$d = 2, n = 3$S72496V5G9examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2409.03730#DMXY