Inventory: S

The rows of the inventory whose names start with S. 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.

Other 25924
A 5528
B 4390
C 7242
D 4710
E 5003
F 4868
G 4385
H 4070
I 1391
J 3085
K 3381
L 1911
M 4894
N 3888
O 897
P 5460
Q 3198
R 4892
S 6923
T 5819
U 1014
V 3154
W 3560
X 2715
Y 2835
Z 2989

Rows 6901–6923 of 6923.

Name	Id	Kind	Outcome	Sources
SZVN2RXT81	SZVN2RXT81	statement	record (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.01802#V3YI
SZW16XGFD1	SZW16XGFD1	definition	record (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 2204.01073#I7A1
SZWAY1XZN8	SZWAY1XZN8	statement	record (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.18847#SZLH
SZWWSDRKBZ	SZWWSDRKBZ	definition	record (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.15511#1C1V
SZXJ07ACW1	SZXJ07ACW1	statement	record (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.08480#61II
SZXR5N7KV4	SZXR5N7KV4	definition	open	napkin tex/alg-NT/pell.tex#definition-1
SZY6MZSHMP	SZY6MZSHMP	statement	open	hott_book setmath.tex#thm:injsurj
SZY7SSVYPW	SZY7SSVYPW	statement	record (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.13100#2SMV
SZYA89V0T2	SZYA89V0T2	statement	record (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.26808#U7WT
SZYAAPA4RM	SZYAAPA4RM	proof	open	napkin tex/linalg/vector-space.tex#proof-3
SZYHS6WRDW	SZYHS6WRDW	definition	record (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.20131#3X61
SZYV0X3C9N	SZYV0X3C9N	problem	record (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.28507#30QF
SZYXG90T56	SZYXG90T56	statement	open	lebl_ra ch-contfunc.tex#liminfty:unique
SZZQYW2TMR	SZZQYW2TMR	example	record (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.01802#3MXF
SZZRP0DTFR	SZZRP0DTFR	example	open	levin_dmoi ptx/sec_seq-polyfit.ptx#example-2
SZZS4XD8EK	SZZS4XD8EK	statement	record (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 2204.01073#5D91
SZZVZRGHJ6	SZZVZRGHJ6	statement	record (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.27800#AG9D
SZZWSZERAS	SZZWSZERAS	definition	record (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.14838#JAMJ
Sárközy's theorem	9GMWRR2KKJ	statement	open	Wikidata Q16320789, MathWorld SarkozysTheorem
Sören Illman	3VB0H3FBNF	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q11895808, nLab Sören Illman
Søren Galatius	A35XRWCXSD	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q14942107, nLab Søren Galatius
Sōichi Kakeya	H7ECEYHC13	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q2382771, ProofWiki Mathematician:Soichi_Kakeya
sₘₙ theorem	SDH45D99SM	statement	open	mathlib_1000 Q1766814, Mathlib Nat.Partrec.Code.smn, Wikidata Q1766814, thousand_plus Q1766814, Wikipedia Smn theorem, MathWorld Kleeness-m-nTheorem