Inventory: H

The rows of the inventory whose names start with H. 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 801–900 of 4070.

Name	Id	Kind	Outcome	Sources
H9N8T2H7E4	H9N8T2H7E4	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.29501#KVDD
H9P3ZXEHV4	H9P3ZXEHV4	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 0810.0962#EAVS
H9P5KDA72F	H9P5KDA72F	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.13401#23EJ
H9PESV20XC	H9PESV20XC	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.36423#7XEM
H9PPXB5NYF	H9PPXB5NYF	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.25524#YV3J
H9PVS9EX87	H9PVS9EX87	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.04317#VB7V
H9Q4K62QMG	H9Q4K62QMG	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 2301.02848#SYTS
H9QQK71AYQ	H9QQK71AYQ	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.08198#THEH
H9QT24KKDF	H9QT24KKDF	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.07644#LRTZ
H9RBVT9QKQ	H9RBVT9QKQ	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.01946#ZD5I
H9RC5BXSN3	H9RC5BXSN3	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 2212.06621#NLOV
H9S46M84VJ	H9S46M84VJ	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 0807.1652#LOCJ
H9SF3JKE21	H9SF3JKE21	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.18992#JEAF
H9SMD0VG1A	H9SMD0VG1A	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 math/9602216#JAEK
H9SNW79E9T	H9SNW79E9T	definition	open	open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#defn-1
H9TP3JQPCM	H9TP3JQPCM	proof	open	open_logic content/computability/recursive-functions/bounded-minimization.tex#proof-1
H9TXVGSFJM	H9TXVGSFJM	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.30067#DB2W
H9VH4KH3K4	H9VH4KH3K4	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.14914#1HQH
H9WNJF0H4S	H9WNJF0H4S	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.20663#196C
H9WWAHS304	H9WWAHS304	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 2310.06695#FNIX
H9X9HXGXJD	H9X9HXGXJD	proof	open	napkin tex/alg-NT/classgrp.tex#proof-7
H9YB3QYWP9	H9YB3QYWP9	exercise	open	open_logic content/proof-theory/normalization/reductions.tex#prob-1
H9YGE3N4XY	H9YGE3N4XY	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.25063#D3W4
H9YMSWRHN7	H9YMSWRHN7	statement	open	open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#prop:restrict
H9YMZYTGC9	H9YMZYTGC9	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.25111#Q9QT
H9YSM2FM7K	H9YSM2FM7K	statement	open	lebl_ra ch-contfunc.tex#falg:cor
H9YV2Z89D6	H9YV2Z89D6	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.27846#LH2D
H9ZD2J7YXB	H9ZD2J7YXB	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.28411#BPT9
H9ZV3SMF2Z	H9ZV3SMF2Z	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.01915#V5FN
H\"older concentration rate	156YAN27YY	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.10484#S9KF
H\"older continuity	SYMTCN6554	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.26581#YUG1
H\"older continuity of $\nabla f$	WFND1T9RR9	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.08434#BB5D
H\"older early-stopping error bound on the cube	FWFWQA5DFY	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.05333#Q6Y1
H\"older functions on regular manifolds	HCKBTSBH7W	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.31458#4V7H
H\"older modulus of continuity - Laplacian	NSVK7NPQBN	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 2401.14638#XF08
H\"older Regularity	QQXSN2EPWE	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.10167#RJJK
H\"older's Inequality	2N39SHNJ1N	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.24522#KQVI
H\"older's inequality	5CW74XHNN2	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.27765#P76O
H\"older's inequality	NG7B60B5CD	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.28454#WEIX
H\"older's inequality	XDQXTN1ZX6	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.15460#FZ5N
H\"{o}lder estimates	CXSD455KW8	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.12430#GE0E
HA0G940S4C	HA0G940S4C	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.36045#725Z
HA145JRZAD	HA145JRZAD	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 2203.16333#ZQVU
HA16C39M8T	HA16C39M8T	exercise	open	ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#problem-4
HA25YPA6D3	HA25YPA6D3	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#3F43
HA2GV1SF5V	HA2GV1SF5V	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.30663#K9RW
HA3CTDB1K1	HA3CTDB1K1	example	open	applied_combinatorics source/s_networkflow_augmenting.ptx#exa_networkflow_augpath
HA3W4QVQ7P	HA3W4QVQ7P	statement	open	open_logic content/sets-functions-relations/functions/inverses.tex#prop-1
HA402DE45G	HA402DE45G	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.28677#2M1E
HA4528YPPT	HA4528YPPT	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.04870#2OXJ
HA55NPT137	HA55NPT137	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 2604.05177#TVHU
HA5AM349Z3	HA5AM349Z3	definition	open	napkin tex/homology/cup-product.tex#definition-6
HA629DRTNG	HA629DRTNG	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.17258#WFRB
HA6TCAZ7NT	HA6TCAZ7NT	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 2504.13516#TRZS
HA70JTE29P	HA70JTE29P	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.18016#R09Q
HA73A2M4TA	HA73A2M4TA	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 2208.07401#T8G8
HA7FBK9XF0	HA7FBK9XF0	conjecture	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.28594#H6UO
HA80MSVQGJ	HA80MSVQGJ	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.20153#4HPK
HA8XAT6AY5	HA8XAT6AY5	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.18101#QXRG
HA95T251FW	HA95T251FW	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.19010#0V7O
HA9HG9QAQY	HA9HG9QAQY	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.09810#KR5Y
HAABQVVWS4	HAABQVVWS4	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.07162#4PM3
Haag's theorem	KYAPNVRB55	statement	open	mathlib_1000 Q1566372, Wikidata Q1566372, thousand_plus Q1566372, Wikipedia Haag's theorem, EoM Haag_theorem, nLab Haag's theorem
Haagerup	KYVBM846W1	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 2605.16669#ITHK
Haagerup , Choda	8FXGRYPQCB	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.22109#ILYS
Haag–Lopuszanski–Sohnius theorem	BQMDNQ5FVB	statement	open	mathlib_1000 Q586051, Wikidata Q586051, thousand_plus Q586051, Wikipedia Haag–Łopuszański–Sohnius theorem, nLab Haag–Łopuszański–Sohnius theorem
Haah rate function	SDYVJQQ4W0	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.40271#X85W
HAAKD8CZS0	HAAKD8CZS0	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 2302.04470#TAAV
HAANP6TVRP	HAANP6TVRP	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.03353#HYN3
Haar concentration	21BE5BVJW0	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.24901#JX7V
Haar measure	Q5AQ41TBR7	topic	open	Wikidata Q1162676, EoM Haar_measure, MathWorld HaarMeasure, nLab Haar integral, ProofWiki Definition:Haar_Measure
Haar measure on a locally compact Hausdorff group	80YQAJKHE2	unknown	open	mathlib_overview Topology > Topological algebra > Haar measure on a locally compact Hausdorff group, Mathlib MeasureTheory.Measure.haarMeasure
Haar moment bounds	1VFQC15GT6	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.39992#WO75
Haar probability	ZAXMZE6E9F	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.18907#WK5L
Haar projection error for an $H^1$ storage profile	42P1DS683V	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.27744#851S
Haar projectors	EQS1SJ7NN6	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.38228#YIAD
Haar rigidity	FMFJWAR75S	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.15424#2PWZ
Haar two-copy twirl, with its elementary commutant proof	VNB5VDF8JA	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.16351#F6CP
HAARM8B86C	HAARM8B86C	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.26738#S79Y
Haas and Young	HKX806QKKR	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.11441#F3UG
HAAXG3EZTE	HAAXG3EZTE	exercise	open	open_logic content/lambda-calculus/lambda-definability/pairs.tex#prob-1
HAB7PQ07TP	HAB7PQ07TP	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.39293#ZFC1
HABH38E24R	HABH38E24R	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 2603.29838#JDYP
Haboush's theorem	7R7ERAS8BJ	statement	open	mathlib_1000 Q3527088, Wikidata Q3527088, thousand_plus Q3527088, Wikipedia Haboush's theorem
HABZTVTR8H	HABZTVTR8H	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.09078#72N1
HACEMHHVP8	HACEMHHVP8	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.30323#M74Y
Hackenbush	2AEH3PJD0Q	unknown	open	Wikidata Q5637225, MathWorld Hackenbush
hacoversine	R0V32HTN2J	unknown	open	Wikidata Q2013312, MathWorld Hacoversine
HACVM30SNG	HACVM30SNG	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.11596#Z361
HADA64J1YW	HADA64J1YW	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.31249#AEQT
Hadamard and Penot semi-differentiability of supremal functionals	66HHBR3TPZ	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.27918#37KG
Hadamard characters	W8381KTCA7	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.21033#X86O
Hadamard Equivalence	MXY942VAQT	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.34856#50VG
Hadamard factorization theorem	DK9NXT1Q8E	statement	open	Wikidata Q117481504, MathWorld HadamardFactorizationTheorem, ProofWiki Hadamard_Factorization_Theorem
Hadamard Formulae	MJ76022ZZD	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.29393#TPF8
Hadamard Matrix	C83X931CYX	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.38206#OJ9E
Hadamard matrix	CFA2KX7Q98	unknown	open	Wikidata Q1422682, EoM Hadamard_matrix, MathWorld HadamardMatrix
Hadamard Product	BPQ5A1SWE0	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.06724#0KNR
Hadamard rigidity	NCX6NCB65B	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.37704#ZVMJ
Hadamard space	9ZNH89M3EJ	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.05388#52CE