Inventory: N

The rows of the inventory whose names start with N. 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 1901–2000 of 3888.

Name	Id	Kind	Outcome	Sources
NHE7F2SX57	NHE7F2SX57	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.15169#G3NV
NHEE9KBW11	NHEE9KBW11	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.03292#UHEY
NHEKGMDNSY	NHEKGMDNSY	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 2609.39539#P3ER
NHER2ZZARK	NHER2ZZARK	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.10505#8CH1
NHEYW3657F	NHEYW3657F	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.25301#KL5F
NHFWF057V4	NHFWF057V4	statement	open	ernst_ibl MAAPressVersion/Sets.tex#theorem-2
NHHNFK7TJE	NHHNFK7TJE	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 0812.1600#TWND
NHHV9D0X34	NHHV9D0X34	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.17940#IUVJ
NHK1TKBEFJ	NHK1TKBEFJ	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 2205.13464#ENX9
NHKJTE9JDA	NHKJTE9JDA	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.02436#8DRQ
NHKPJX9NGX	NHKPJX9NGX	statement	open	open_logic content/normal-modal-logic/tableaux/soundness.tex#prop-1
NHN27FZKJ3	NHN27FZKJ3	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 1709.01658#QOWJ
NHN3G0QN1F	NHN3G0QN1F	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 2608.17785#1KBB
NHNG78V3QA	NHNG78V3QA	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.25823#QQ6N
NHPTX6DZJY	NHPTX6DZJY	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 2609.32860#4WNC
NHQ4MX24BD	NHQ4MX24BD	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 2606.00589#2MMQ
NHQNARWW1X	NHQNARWW1X	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.24931#FPQJ
NHR5FPXEYM	NHR5FPXEYM	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.39293#NH7M
NHRK0HZ0TV	NHRK0HZ0TV	proof	open	levin_dmoi ptx/sec_seq-induction.ptx#proof-5
NHRRN5X2BR	NHRRN5X2BR	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 2509.04068#RURC
NHS0BAG7H6	NHS0BAG7H6	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 2103.14389#NAXL
NHSG4XBAJQ	NHSG4XBAJQ	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.04809#DJU9
NHT6R3J155	NHT6R3J155	example	open	ernst_ibl MAAPressVersion/IntroFunctions.tex#ex:function
NHT82C3D8M	NHT82C3D8M	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 2608.24190#XGC4
NHV8DJB1AE	NHV8DJB1AE	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 2609.30976#YHLY
NHVE58P1E3	NHVE58P1E3	proof	open	open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#proof-2
NHVK7G40P7	NHVK7G40P7	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.31476#MJDF
NHVY9XR4TP	NHVY9XR4TP	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 2609.25289#IM91
NHWFREQXSY	NHWFREQXSY	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.28076#AUSE
NHWRZ4AJDG	NHWRZ4AJDG	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.32977#CLV9
NHWW5GM7PR	NHWW5GM7PR	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.20345#8EUW
NHXCZSQ2XS	NHXCZSQ2XS	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.17204#ALO7
NHXV0CJ5PB	NHXV0CJ5PB	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.11336#WF2V
NHYB01498T	NHYB01498T	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.09926#YSTK
NHZ6GFY363	NHZ6GFY363	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.27687#APH7
NHZ86XASH4	NHZ86XASH4	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.30086#MMO2
NHZD2FRH11	NHZD2FRH11	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.12371#RVZ4
NHZQXM3BEJ	NHZQXM3BEJ	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.33584#TSA7
NHZV5XB3PX	NHZV5XB3PX	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 2206.11797#63ZJ
Ni	PVEJTHZVNZ	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.31757#VGWU
nibble	B3XBNNRGC8	unknown	open	Wikidata Q740943, MathWorld Nibble
Nice terms	ETXN5MEPBM	definition	open	open_logic content/methods/induction/inductive-definitions.tex#defn-1
Nicholas Asher	6EZVR10SZ2	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q76746460, nLab Nicholas Asher
Nicholas Jarvis Proudfoot	VP5H2ST3D9	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q21166845, nLab Nicholas Proudfoot
Nicholas Metropolis	D7M0DF684H	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q92928, ProofWiki Mathematician:Nicholas_Constantine_Metropolis
Nicholas Warner	W0E9PENTY5	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q59672096, nLab Nicholas Warner
Nick Manton	2D5QETF3CZ	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1984937, nLab Nicholas Manton
Nicolaas Govert de Bruijn	MJTBTKYV3Z	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1078285, nLab Nicolaas de Bruijn
Nicolaas Kuiper	WYGHCY5E5Z	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q464173, nLab Nicolaas Kuiper
Nicolai Reshetikhin	YKQ5HTT2Z9	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q452273, nLab Nicolai Reshetikhin
Nicolas Bourbaki	EK4WDEZC7C	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q190529, nLab Bourbaki, ProofWiki Mathematician:Nicolas_Bourbaki
Nicolaus I Bernoulli	VK14D1FBVN	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q123992, EoM Bernoulli,_Nicolaus
Nicole Berline	9XCF6FEHKV	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q6451683, nLab Nicole Berline
Nicomachus	7ZJDGV0BKK	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q360366, ProofWiki Mathematician:Nicomachus_of_Gerasa
Nicomedes	HVPYWK2JNA	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q948708, ProofWiki Mathematician:Nicomedes
Niels Bohr	PJTGM6X7QW	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q7085, nLab Niels Bohr, ProofWiki Mathematician:Niels_Henrik_David_Bohr
Niels Henrik Abel	DFZ2NWWZR6	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q124115, nLab Niels Henrik Abel
Nielsen fixed-point theorem	HPB29WVY8W	statement	open	mathlib_1000 Q7031621, Wikidata Q7031621, thousand_plus Q7031621, Wikipedia Nielsen fixed-point theorem
Nielsen realization problem	82ZHYZK05H	statement	open	mathlib_1000 Q7031618, Wikidata Q7031618, thousand_plus Q7031618, Wikipedia Nielsen realization problem
Nielsen's spiral	4X1NJ56KFX	unknown	open	Wikidata Q121145668, MathWorld NielsensSpiral
Nielsen-Schreier, c.f.	T7VQG3Y168	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.06108#X3QM
Nielsen–Ninomiya theorem	EQ04VT76RK	statement	open	mathlib_1000 Q17104863, Wikidata Q17104863, thousand_plus Q17104863, Wikipedia Nielsen–Ninomiya theorem
Nielsen–Schreier theorem	T0P2H7XQKS	statement	open	mathlib_1000 Q1259814, Mathlib Subgroup.isFreeGroupOfIsFreeGroup, Wikidata Q1259814, thousand_plus Q1259814, Mathlib subgroupIsFreeOfIsFree, Wikipedia Nielsen–Schreier theorem
Nienhaus	KGT99DCJG1	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.37778#CYNH
Nies , strengthening Chaitin	6VCZDYNTVE	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 0812.1600#REDG
Nigel Higson	1DADHACP0N	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q15836826, nLab Nigel Higson
Nigel Hitchin	ANEMHHQZAH	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q916607, nLab Nigel Hitchin
Nigeria	8Q8291TTVE	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1033, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Nigeria
Niklas Beisert	YJSW6B8D0E	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1488560, nLab Niklas Beisert
Niklaus Wirth	T24VQJX4KZ	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q92604, ProofWiki Mathematician:Niklaus_Emil_Wirth
Nikola Tesla	MDR28XN43N	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q9036, ProofWiki Mathematician:Nikola_Tesla
Nikolai Durov	ZB7JAFAQ08	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q7035781, nLab Nikolai Durov
Nikulin	7AZ4JKSRG1	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.16408#GM2U
Nikulin	DE21YB95XS	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.16408#QKHO
Nill	RSZKTY4YVM	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.06419#ISSY
nilmanifold	YG1V3S7CZY	unknown	open	Wikidata Q4321368, EoM Nil_manifold, MathWorld Nilmanifold
nilpotence theorem	TXB3AFZ8XG	statement	open	Wikidata Q17099400, nLab nilpotence theorem
nilpotent algebra	H9KAYEC9PA	unknown	open	Wikidata Q16155107, MathWorld NilpotentAlgebra
Nilpotent classification	F62F9YSW34	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.01329#I5OO
Nilpotent Darboux transformation	T86EQQXKGM	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.19192#RLND
nilpotent element	E8K2X8F5HA	unknown	node (a node has the same name as the row)	Wikidata Q840023, MathWorld NilpotentElement
Nilpotent gauge conjugation	7N2JKKNGWS	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.19192#QMWL
nilpotent group	AN65SA9AHA	unknown	node (a node has the same name as the row)	mathlib_overview General algebra > Group theory > nilpotent group, Mathlib Group.IsNilpotent, Wikidata Q1755242, EoM Nilpotent_group, MathWorld NilpotentGroup, nLab nilpotent group
nilpotent ideal	YVSY2XYP7N	unknown	open	Wikidata Q4321370, nLab nilpotent ideal
nilpotent Lie algebra	HGBJFK8VBK	unknown	open	Wikidata Q15148889, MathWorld NilpotentLieAlgebra, nLab nilpotent Lie algebra
nilpotent matrix	HSZH6NG7SR	unknown	node (a node has the same name as the row)	Wikidata Q650670, MathWorld NilpotentMatrix
nilradical of a ring	7R4F76WAH9	unknown	open	Wikidata Q3341881, MathWorld Nilradical
Nils Baas	5THKDHN345	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q15733623, nLab Nils Baas
Nilsequence discorrelation	M03WGF81XS	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.09567#JRGF
Nilsequence discorrelation up to an abelian Type II obstruction	3JQ6791CM5	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.09567#UEBJ
Nim	QV9E50FD01	unknown	open	Wikidata Q724409, MathWorld Nim
nim sum	HZ99XTNBV1	unknown	open	Wikidata Q109368729, MathWorld Nim-Sum
Nima Arkani-Hamed	E74AWHQXFQ	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q545142, nLab Nima Arkani-Hamed
nimber	DQR7FC1MA3	unknown	open	Wikidata Q2392819, MathWorld Nim-Value
nine lemma	4W4RPM2SX3	statement	open	Wikidata Q2645980, MathWorld NineLemma, nLab 3x3 lemma
nine-point center	D36JVZS2B4	unknown	open	Wikidata Q18353578, MathWorld Nine-PointCenter
nine-point circle	VFDQ4ZWN3E	concept	node (a node has the same name as the row)	Wikidata Q214533, MathWorld Nine-PointCircle, ProofWiki Nine_Point_Circle_Theorem
Nine-point conic	M8ZVHHEZRN	unknown	open	Wikidata Q23034996, MathWorld Nine-PointConic
Nirenberg's conjecture	MGP8G9B7SR	conjecture	open	Wikidata Q106362666, MathWorld NirenbergsConjecture
Nishimori floor	BP81KEJREN	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.37479#LGGY