Inventory rows H1

Richard Balam H100E17JMP

URI	`m2://inv/H100E17JMP`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Richard Balam, Richard Balam (topic). Also Wikidata Q7323927

History

2026-11-02: add by m2/dev

H100FZTH2N H100FZTH2N

URI	`m2://inv/H100FZTH2N`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2207.07461#G7UH (statement). In GAG532VMPF/e1, theorem 1.1.5

History

2026-10-27: add by m2/v0.3.5

Annie Qu H103TS6X7M

URI	`m2://inv/H103TS6X7M`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Annie Qu, Annie Qu (topic). Also Wikidata Q43624930

History

2026-11-02: add by m2/dev

Situation semantics H10HSDEF00

URI	`m2://inv/H10HSDEF00`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Situation semantics, Situation semantics (definition). Also Wikidata Q7532164

History

2026-11-02: add by m2/dev

H10JVPQW66 H10JVPQW66

URI	`m2://inv/H10JVPQW66`
Kind	statement
Layer	research
MSC	55-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31274#QS0X (statement). In RK0ZMDJ23T/e1, lemma 2.1.6

History

2026-10-31: add by m2/v0.5.6

H10MA9NCKD H10MA9NCKD

URI	`m2://inv/H10MA9NCKD`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39706#0TVN (statement). In 79Y8JJMKP4/e1, proposition A.1

History

2026-10-30: add by m2/v0.4.12

Boughattas H10PBBTGV9

URI	`m2://inv/H10PBBTGV9`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1003.2117#9KVD, Boughattas (statement). In H4D4RFNH2V/e1, theorem 1.1

History

2026-10-27: add by m2/v0.3.5

lucky numbers of Euler H10VZ0CFYY

URI	`m2://inv/H10VZ0CFYY`
Kind	object
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q3342996, lucky numbers of Euler (object). Also MathWorld LuckyNumberofEuler, OEIS A014556

History

2026-10-26: add by m2/dev

H10XNBNH37 H10XNBNH37

URI	`m2://inv/H10XNBNH37`
Kind	statement
Layer	research
MSC	46-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13271#0PVY (statement). In G8ZEBKZY8M/e1, proposition 2.3

History

2026-10-28: add by m2/v0.4.2

H1126AGRXE H1126AGRXE

URI	`m2://inv/H1126AGRXE`
Kind	statement
Layer	research
MSC	19-XX, 20-XX, 22-XX, 55-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14278#VY6P (statement). In RTE2C0PH4S/e1, proposition 4.2

History

2026-10-28: add by m2/v0.4.2

Function application H113SQ7F80

URI	`m2://inv/H113SQ7F80`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Function application, Function application (definition). Also Wikidata Q5508767

History

2026-11-02: add by m2/dev

Jens Groth H11BH8EZM0

URI	`m2://inv/H11BH8EZM0`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jens Groth, Jens Groth (topic). Also Wikidata Q62058038

History

2026-11-02: add by m2/dev

G. G. Kasparov H11CBJRFSK

URI	`m2://inv/H11CBJRFSK`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OD61, G. G. Kasparov (unknown)

History

2026-11-02: add by m2/dev

prime manifold H11DFBRE6S

URI	`m2://inv/H11DFBRE6S`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q3598797, prime manifold (unknown). Also MathWorld PrimeManifold
wikipedia: Wikipedia Prime manifold, Prime manifold (definition). Also Wikidata Q3598797

History

2026-10-26: add by m2/dev

H11DV8D068 H11DV8D068

URI	`m2://inv/H11DV8D068`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39675#6TYZ (statement). In VM16G3PPH3/e1, lemma 4.10

History

2026-10-30: add by m2/v0.4.12

Fifth Street, Texas H11NEQX4HG

URI	`m2://inv/H11NEQX4HG`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of places with numeric names#IBJL, Fifth Street, Texas (unknown)

History

2026-11-02: add by m2/dev

Robert Mackenzie Johnston H121Q2BQQA

URI	`m2://inv/H121Q2BQQA`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Robert Mackenzie Johnston, Robert Mackenzie Johnston (topic). Also Wikidata Q7347255

History

2026-11-02: add by m2/dev

Centralizer comparison H12D2WANE6

URI	`m2://inv/H12D2WANE6`
Kind	statement
Layer	research
MSC	05-XX, 55-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.22082#UM9L, Centralizer comparison (statement). In 7PACGDW3N7/e1, lemma 3.3

History

2026-10-27: add by m2/v0.4.0

\bf Elementary vector spaces H12FW14YTM

URI	`m2://inv/H12FW14YTM`
Kind	definition
Layer	research
MSC	60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2312.14445#Y8X6, \bf Elementary vector spaces (definition). In V56MKF0KW2/e1, definition 2.5

History

2026-10-27: add by m2/v0.3.5

H12JBSGDZA H12JBSGDZA

URI	`m2://inv/H12JBSGDZA`
Kind	statement
Layer	research
MSC	54-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40191#Y51U (statement). In F0D8VSM4Z4/e1, theorem 4.6

History

2026-10-30: add by m2/v0.4.12

Balanced product H12M38GS8C

URI	`m2://inv/H12M38GS8C`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tensor product of modules#FJ25, Balanced product (unknown)

History

2026-11-02: add by m2/dev

Almost-everywhere anisotropic maximality H12MEAK6KA

URI	`m2://inv/H12MEAK6KA`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22485#3M94, Almost-everywhere anisotropic maximality (statement)

History

2026-11-02: add by m2/v0.6.17

Convergence in Backward KL in the strongly convex case H12QZZGQ6Z

URI	`m2://inv/H12QZZGQ6Z`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32446#PISA, Convergence in Backward KL in the strongly convex case (statement). In W1KVJEGJ1W/e1, lemma 4.3

History

2026-10-31: add by m2/v0.5.6

Applications H12TQ1PX12

URI	`m2://inv/H12TQ1PX12`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Scale (descriptive set theory)#7VQ8, Applications (example)

History

2026-11-02: add by m2/dev

H12TSKVM1B H12TSKVM1B

URI	`m2://inv/H12TSKVM1B`
Kind	definition
Layer	research
MSC	11-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30207#8TTN (definition)

History

2026-11-01: add by m2/v0.6.15

Quantitative Ricci asymmetry H130SSB43A

URI	`m2://inv/H130SSB43A`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00078#WB4G, Quantitative Ricci asymmetry (statement). In KXYGWSGP9M/e1, corollary 4.7

History

2026-10-30: add by m2/v0.4.12

Charles Strickland-Constable H134E15K1P

URI	`m2://inv/H134E15K1P`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q76180778, Charles Strickland-Constable (unknown). Also nLab Charles Strickland-Constable

History

2026-10-26: add by m2/dev

Shisanji Hokari H137F6HCNH

URI	`m2://inv/H137F6HCNH`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Shisanji Hokari, Shisanji Hokari (topic). Also Wikidata Q11597039

History

2026-11-02: add by m2/dev

Problem 7.2.5 H13DFXQ43N

URI	`m2://inv/H13DFXQ43N`
Kind	problem
Layer	research
MSC	05-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20881#GBDD, Problem 7.2.5 (problem)

History

2026-11-02: add by m2/v0.6.18

Abstract harmonic analysis H13JX87249

URI	`m2://inv/H13JX87249`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#VVM4, Abstract harmonic analysis (definition)

History

2026-11-02: add by m2/dev

Wick product H13KJXSN1Q

URI	`m2://inv/H13KJXSN1Q`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#QCRK, Wick product (definition)
wikipedia: Wikipedia List of probability topics#X80O, Wick product (definition)

History

2026-11-02: add by m2/dev

stated in ; proved H13PGDJWR0

URI	`m2://inv/H13PGDJWR0`
Kind	statement
Layer	research
MSC	46-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29422#AMUI, stated in ; proved (statement)

History

2026-11-01: add by m2/v0.6.15

H13Y521G3M H13Y521G3M

URI	`m2://inv/H13Y521G3M`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26162#AHC9 (statement)

History

2026-11-01: add by m2/v0.6.15

Theorem H13ZAMKS39

URI	`m2://inv/H13ZAMKS39`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Diophantine approximation#JF0Z, Theorem (statement)

History

2026-11-02: add by m2/dev

Generalizations H1464C81QT

URI	`m2://inv/H1464C81QT`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Wang tile#0KS2, Generalizations (statement)

History

2026-11-02: add by m2/dev

limit, of a sequence in a metric space H147Z4YW57

URI	`m2://inv/H147Z4YW57`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra index/4.3.1/limit-of-a-sequence-in-a-metric-space, limit, of a sequence in a metric space (concept). In E59CDZA4DP, index, section 4.3.1

History

2026-11-01: add by m2/v0.6.13

Example H14CRFH302

URI	`m2://inv/H14CRFH302`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Wiener process#D121, Example (example)

History

2026-11-02: add by m2/dev

H14NEGGJTB H14NEGGJTB

URI	`m2://inv/H14NEGGJTB`
Kind	statement
Layer	research
MSC	13-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2601.15403#6JN0 (statement). In BSWNH3NW1M/e1, lemma 9.5

History

2026-10-27: add by m2/v0.4.0

Costless simulation H14WGVBD89

URI	`m2://inv/H14WGVBD89`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Proof of stake#XY0I, Costless simulation (unknown)

History

2026-11-02: add by m2/dev

Walter Gordon H15A08Y02Z

URI	`m2://inv/H15A08Y02Z`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q65751, Walter Gordon (unknown). Also nLab Walter Gordon

History

2026-10-26: add by m2/dev

H15AJHZSW1 H15AJHZSW1

URI	`m2://inv/H15AJHZSW1`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 53-XX, 57-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.22288#BAY6 (statement). In X38P26DK6S/e1, theorem 1.1

History

2026-10-27: add by m2/v0.4.0

H15C4T3F1D H15C4T3F1D

URI	`m2://inv/H15C4T3F1D`
Kind	statement
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2504.19468#UOY4 (statement). In EY54F2SX08/e1, theorem 1.1

History

2026-10-27: add by m2/v0.3.5

H15FNAVTD3 H15FNAVTD3

URI	`m2://inv/H15FNAVTD3`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/topology/constructions.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 96.6.4

History

2026-11-01: add by m2/v0.6.13

H15SZK3KN3 H15SZK3KN3

URI	`m2://inv/H15SZK3KN3`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29022#CN98 (statement)

History

2026-11-01: add by m2/v0.6.15

H16426SWYP H16426SWYP

URI	`m2://inv/H16426SWYP`
Kind	statement
Layer	research
MSC	05-XX, 46-XX, 47-XX, 60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1711.00219#G4BQ (statement). In 7V3HG30ZGW/e1, theorem 3.12

History

2026-10-27: add by m2/v0.4.0

H16GG4Q6QQ H16GG4Q6QQ

URI	`m2://inv/H16GG4Q6QQ`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 47-XX, 58-XX, 81-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17139#BGG1 (statement). In AQWX60Z563/e1, proposition B.2

History

2026-10-28: add by m2/v0.4.2

reflecting H16H43EGFA

URI	`m2://inv/H16H43EGFA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of large cardinal properties#WS8M, reflecting (definition)

History

2026-11-02: add by m2/dev

H16M7SH9M0 H16M7SH9M0

URI	`m2://inv/H16M7SH9M0`
Kind	statement
Layer	research
MSC	05-XX, 11-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33421#GK6C (statement). In YMVA1SJ640/e1, proposition 3.2

History

2026-10-30: add by m2/v0.4.12

H16TDPBXWT H16TDPBXWT

URI	`m2://inv/H16TDPBXWT`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20568#S64M (statement). In BCD0ATARNZ/e1, proposition 3.15

History

2026-10-27: add by m2/v0.4.2

Time-integrated kinetic identity H16W46D8VD

URI	`m2://inv/H16W46D8VD`
Kind	statement
Layer	research
MSC	35-XX, 60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20735#WWQ3, Time-integrated kinetic identity (statement)

History

2026-11-02: add by m2/v0.6.18

E-shaped H1795DWT8B

URI	`m2://inv/H1795DWT8B`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of shapes with metaphorical names#1WLU, E-shaped (unknown)

History

2026-11-02: add by m2/dev

H17JX385VJ H17JX385VJ

URI	`m2://inv/H17JX385VJ`
Kind	statement
Layer	research
MSC	11-XX, 37-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33590#K6JE (statement). In WRE0P7V6Z3/e1, lemma 12.4

History

2026-10-30: add by m2/v0.4.12

combination, number of, formula for H184WVY3P7

URI	`m2://inv/H184WVY3P7`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

applied_combinatorics: applied_combinatorics index/2.3/combination-number-of-formula-for, combination, number of, formula for (concept). In QKM9DD2H56, index, section 2.3

History

2026-11-01: add by m2/v0.6.13

Uniform Cost Search H1854GWD5Z

URI	`m2://inv/H1854GWD5Z`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dijkstra's algorithm#YBMN, Uniform Cost Search (unknown)

History

2026-11-02: add by m2/dev

H186F1DB10 H186F1DB10

URI	`m2://inv/H186F1DB10`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25896#2HUC (statement)

History

2026-11-01: add by m2/v0.6.15

Result H188BATBCC

URI	`m2://inv/H188BATBCC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hungarian algorithm#H3X1, Result (statement)

History

2026-11-02: add by m2/dev

H18A4NEFB4 H18A4NEFB4

URI	`m2://inv/H18A4NEFB4`
Kind	unknown
Layer	research
MSC	26-XX, 30-XX, 32-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1008.4254#0BK6 (unknown). In SXTX59QBVT/e1, unknown 5.2

History

2026-10-27: add by m2/v0.3.5

H18FZVGGDR H18FZVGGDR

URI	`m2://inv/H18FZVGGDR`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16431#E9LX (statement). In 7NX9HA8VPM/e1, lemma 2.1

History

2026-10-28: add by m2/v0.4.2

H18HMJZVG5 H18HMJZVG5

URI	`m2://inv/H18HMJZVG5`
Kind	definition
Layer	research
MSC	05-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2308.05715#QY6J (definition). In FC0SB9JFWH/e1, definition 5.6

History

2026-10-27: add by m2/v0.3.5

Expected Fisher error with a data-dependent regularizer H18NS7WEKF

URI	`m2://inv/H18NS7WEKF`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14498#XW4N, Expected Fisher error with a data-dependent regularizer (statement). In 81YXGYETE4/e1, theorem 13

History

2026-10-28: add by m2/v0.4.2

Prime quadruplet H18R3HYFP4

URI	`m2://inv/H18R3HYFP4`
Kind	conjecture
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of number theory topics#Z69M, Prime quadruplet (conjecture)

History

2026-11-02: add by m2/dev

embedded H1918W3XD0

URI	`m2://inv/H1918W3XD0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#PVOL, embedded (definition)

History

2026-11-02: add by m2/dev

Geometric separator H191BSE8XV

URI	`m2://inv/H191BSE8XV`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Geometric separator, Geometric separator (definition). Also Wikidata Q17016378

History

2026-11-02: add by m2/dev

Simple iteration H19756WGSQ

URI	`m2://inv/H19756WGSQ`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20401#0W35, Simple iteration (statement)

History

2026-11-02: add by m2/v0.6.18

H19H8SVP3X H19H8SVP3X

URI	`m2://inv/H19H8SVP3X`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37562#LNV2 (statement). In PYY8DFK2JS/e1, lemma 5.1

History

2026-10-30: add by m2/v0.4.12

H19K3Z5QDQ H19K3Z5QDQ

URI	`m2://inv/H19K3Z5QDQ`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20568#BO1Q (statement). In BCD0ATARNZ/e1, proposition 3.24

History

2026-10-27: add by m2/v0.4.2

H19VX4TCFH H19VX4TCFH

URI	`m2://inv/H19VX4TCFH`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27049#2NZ5 (statement)

History

2026-11-01: add by m2/v0.6.15

H19Y640FJ8 H19Y640FJ8

URI	`m2://inv/H19Y640FJ8`
Kind	statement
Layer	research
MSC	35-XX, 81-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24465#HPBC (statement)

History

2026-11-01: add by m2/v0.6.15

Half Hell, North Carolina H19ZYV2ZJB

URI	`m2://inv/H19ZYV2ZJB`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of places with numeric names#V9OF, Half Hell, North Carolina (unknown)

History

2026-11-02: add by m2/dev

Examples of covariant transformation H1A027BK92

URI	`m2://inv/H1A027BK92`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Covariant transformation#7OFW, Examples of covariant transformation (example)

History

2026-11-02: add by m2/dev

Generalized gamma distribution H1A495B1CY

URI	`m2://inv/H1A495B1CY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of probability distributions#EOV4, Generalized gamma distribution (definition)

History

2026-11-02: add by m2/dev

Hyperbolic distribution H1A4JE0RC1

URI	`m2://inv/H1A4JE0RC1`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#SKO6, Hyperbolic distribution (definition)

History

2026-11-02: add by m2/dev

C+-probability H1A62SP3CX

URI	`m2://inv/H1A62SP3CX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia C+-probability, C+-probability (definition). Also Wikidata Q5005849

History

2026-11-02: add by m2/dev

H1A9ZDZSHR H1A9ZDZSHR

URI	`m2://inv/H1A9ZDZSHR`
Kind	statement
Layer	research
MSC	14-XX, 55-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20801#259U (statement). In A1GWWGRXPA/e1, lemma 3.24

History

2026-10-27: add by m2/v0.4.2

neighborhood system H1AC5Q22WW

URI	`m2://inv/H1AC5Q22WW`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q3275652, neighborhood system (unknown). Also MathWorld NeighborhoodSystemBase
wikipedia: Wikipedia Neighbourhood system, Neighbourhood system (definition). Also Wikidata Q3275652

History

2026-10-26: add by m2/dev

H1ACN43XEE H1ACN43XEE

URI	`m2://inv/H1ACN43XEE`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32903#EALM (statement). In S8NB83KQX3/e1, theorem 1

History

2026-10-31: add by m2/v0.5.6

Julian Sahasrabudhe H1AE728DBQ

URI	`m2://inv/H1AE728DBQ`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Julian Sahasrabudhe, Julian Sahasrabudhe (topic). Also Wikidata Q102738201

History

2026-11-02: add by m2/dev

Hurwitz polynomial H1AF7SCNCD

URI	`m2://inv/H1AF7SCNCD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of polynomial topics#5MS4, Hurwitz polynomial (definition)
wikipedia: Wikipedia List of polynomial topics#8SBI, Hurwitz polynomial (definition)

History

2026-11-02: add by m2/dev

An Introduction to the Theory of Numbers H1AGEN4AQ6

URI	`m2://inv/H1AGEN4AQ6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia An Introduction to the Theory of Numbers, An Introduction to the Theory of Numbers (definition). Also Wikidata Q4750104

History

2026-11-02: add by m2/dev

Joseph Louis Lagrange H1AHP24RTK

URI	`m2://inv/H1AHP24RTK`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of publications in mathematics#JBSX, Joseph Louis Lagrange (topic)

History

2026-11-02: add by m2/dev

factorion H1AT3C0A74

URI	`m2://inv/H1AT3C0A74`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1977759, factorion (unknown). Also MathWorld Factorion, OEIS A014080
wikipedia: Wikipedia Factorion, Factorion (definition). Also Wikidata Q1977759

History

2026-10-26: add by m2/dev

H1AWM1EW0A H1AWM1EW0A

URI	`m2://inv/H1AWM1EW0A`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#mv:prop:refinement (statement). In E59CDZA4DP, prop, section 5.1.2

History

2026-11-01: add by m2/v0.6.13

H1BC1E086P H1BC1E086P

URI	`m2://inv/H1BC1E086P`
Kind	statement
Layer	research
MSC	49-XX, 60-XX, 90-XX, 93-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02158#POZB (statement). In PCV12VAD47/e1, theorem 3

History

2026-10-29: add by m2/v0.4.12

H1BGDRDKWY H1BGDRDKWY

URI	`m2://inv/H1BGDRDKWY`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2308.05715#3VQ0 (statement). In FC0SB9JFWH/e1, proposition 2.1

History

2026-10-27: add by m2/v0.3.5

Gallagher index H1BQENWC4H

URI	`m2://inv/H1BQENWC4H`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gallagher index, Gallagher index (definition). Also Wikidata Q1492184

History

2026-11-02: add by m2/dev

Talenti--Szeg\H{o} Comparison Theorem H1BRZ2WEJ1

URI	`m2://inv/H1BRZ2WEJ1`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05056#AG8M, Talenti--Szeg\H{o} Comparison Theorem (statement). In 4PF04DW3YP/e1, theorem 2.16

History

2026-10-29: add by m2/v0.4.12

Conjugate element (field theory) H1BT1FEYNP

URI	`m2://inv/H1BT1FEYNP`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of abstract algebra topics#3YM5, Conjugate element (field theory) (definition)

History

2026-11-02: add by m2/dev

Box–Jenkins H1BTD87Q8N

URI	`m2://inv/H1BTD87Q8N`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#WBLH, Box–Jenkins (definition)

History

2026-11-02: add by m2/dev

H1BYY1NTSJ H1BYY1NTSJ

URI	`m2://inv/H1BYY1NTSJ`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16123#U52C (statement). In 6VR4TY5BGV/e1, proposition 5.11

History

2026-10-28: add by m2/v0.4.2

H1C08YGBTN H1C08YGBTN

URI	`m2://inv/H1C08YGBTN`
Kind	example
Layer	research
MSC	16-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28011#B3JI (example)

History

2026-11-01: add by m2/v0.6.15

Marcello Truzzi H1C1TG9G3P

URI	`m2://inv/H1C1TG9G3P`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#7KHV, Marcello Truzzi (unknown)

History

2026-11-02: add by m2/dev

Low-density parity-check H1CD2QB07R

URI	`m2://inv/H1CD2QB07R`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#Z1QM, Low-density parity-check (definition)

History

2026-11-02: add by m2/dev

supergraph H1CHV6R500

URI	`m2://inv/H1CHV6R500`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q91049928, supergraph (unknown). Also MathWorld Supergraph

History

2026-10-26: add by m2/dev

H1CNCNQNPH H1CNCNQNPH

URI	`m2://inv/H1CNCNQNPH`
Kind	statement
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35538#6EXG (statement). In 87TWXCBZ4M/e1, lemma 4

History

2026-10-30: add by m2/v0.4.12

William Browder H1D02GS2DZ

URI	`m2://inv/H1D02GS2DZ`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#CQQV, William Browder (topic)

History

2026-11-02: add by m2/dev

Theorem of transition H1D4QYZ9VJ

URI	`m2://inv/H1D4QYZ9VJ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Theorem of transition, Theorem of transition (statement). Also Wikidata Q85808992

History

2026-11-02: add by m2/dev

H1DBBV5SKW H1DBBV5SKW

URI	`m2://inv/H1DBBV5SKW`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/H113/ring-flavors.tex#prob:krull_max_ideal (exercise). In RZP28ERRZV, sproblem, section 4.8

History

2026-11-01: add by m2/v0.6.13

Descent H1DBZ5TT7P

URI	`m2://inv/H1DBZ5TT7P`
Kind	statement
Layer	research
MSC	20-XX, 57-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10074#FYBB, Descent (statement). In BYAANB1NG0/e1, proposition 4.1

History

2026-10-27: add by m2/v0.3.5

Oberwolfach problem H1DEHC68P4

URI	`m2://inv/H1DEHC68P4`
Kind	conjecture
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#NRBE, Oberwolfach problem (conjecture)

History

2026-11-02: add by m2/dev

H1DV8K2Q33 H1DV8K2Q33

URI	`m2://inv/H1DV8K2Q33`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05459#SYDP (statement). In VYW16D089Y/e1, lemma 5.10

History

2026-10-29: add by m2/v0.4.10

Hurwitz, Shelley H1DXVM0BBS

URI	`m2://inv/H1DXVM0BBS`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statisticians#UNK9, Hurwitz, Shelley (topic)

History

2026-11-02: add by m2/dev

Polyabolo tiling H1DY8YAZ11

URI	`m2://inv/H1DY8YAZ11`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Polyabolo#UBDH, Polyabolo tiling (unknown)

History

2026-11-02: add by m2/dev

H1E3VWYFQF H1E3VWYFQF

URI	`m2://inv/H1E3VWYFQF`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22338#ZLA9 (statement)

History

2026-11-02: add by m2/v0.6.17

H1EH82YZX6 H1EH82YZX6

URI	`m2://inv/H1EH82YZX6`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/computability/computability-theory/prop-reduce.tex#prop:reduce (statement). In PKGMM3P5QY, prop, section 3.11

History

2026-11-01: add by m2/v0.6.13

Ferdinand Georg Frobenius H1EJYZNHB0

URI	`m2://inv/H1EJYZNHB0`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#XECQ, Ferdinand Georg Frobenius (topic)

History

2026-11-02: add by m2/dev

Marie-Françoise Roy H1EKWZFH4Y

URI	`m2://inv/H1EKWZFH4Y`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#0SFE, Marie-Françoise Roy (topic)

History

2026-11-02: add by m2/dev

Uniqueness H1F5YX49N3

URI	`m2://inv/H1F5YX49N3`
Kind	statement
Layer	research
MSC	60-XX, 62-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22240#6PK0, Uniqueness (statement)

History

2026-11-02: add by m2/v0.6.17

H1FAW5ZWB5 H1FAW5ZWB5

URI	`m2://inv/H1FAW5ZWB5`
Kind	statement
Layer	research
MSC	37-XX, 60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10511#HCLE (statement). In BTX64QG716/e1, lemma 3.7

History

2026-10-29: add by m2/v0.4.10

Kummer's transformation of series H1FX2F4ZVG

URI	`m2://inv/H1FX2F4ZVG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kummer's transformation of series, Kummer's transformation of series (definition). Also Wikidata Q85850911

History

2026-11-02: add by m2/dev

H1FX4AC1JH H1FX4AC1JH

URI	`m2://inv/H1FX4AC1JH`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37589#WSB2 (statement). In 18HVB2SKW1/e1, lemma 4.1

History

2026-10-30: add by m2/v0.4.12

Homogeneous affine-pencil quotient H1G4RW1VM4

URI	`m2://inv/H1G4RW1VM4`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10583#QU6X, Homogeneous affine-pencil quotient (statement). In 5BZQS1KY9A/e1, proposition 5.8

History

2026-10-29: add by m2/v0.4.10

Transfer identity H1GB7X7Y89

URI	`m2://inv/H1GB7X7Y89`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18180#IQU5, Transfer identity (statement). In NJGS7D1EPH/e1, proposition 3.1

History

2026-10-28: add by m2/v0.4.2

H1GBXRCAA7 H1GBXRCAA7

URI	`m2://inv/H1GBXRCAA7`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 2.3.3

History

2026-11-01: add by m2/v0.6.13

H1GCHWKTN4 H1GCHWKTN4

URI	`m2://inv/H1GCHWKTN4`
Kind	example
Layer	research
MSC	11-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08370#0X6I (example). In EQN3EZRZYQ/e1, example 5.8

History

2026-10-29: add by m2/v0.4.10

Coefficient comparison H1GH9WNYTY

URI	`m2://inv/H1GH9WNYTY`
Kind	statement
Layer	research
MSC	26-XX, 46-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20531#WVXL, Coefficient comparison (statement)

History

2026-11-02: add by m2/v0.6.18

homotopy lifting property H1GHCQXVNT

URI	`m2://inv/H1GHCQXVNT`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Homotopy lifting property G4QDM01P6J

Mentions

wikidata: Wikidata Q3983973, homotopy lifting property (unknown). Also nLab homotopy lifting property
wikipedia: Wikipedia Homotopy lifting property, Homotopy lifting property (definition). Also Wikidata Q3983973

History

2026-10-26: add by m2/dev

H1GKSDB8CJ H1GKSDB8CJ

URI	`m2://inv/H1GKSDB8CJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#defn:bd-quant (definition). In PKGMM3P5QY, defn, section 30.3

History

2026-11-01: add by m2/v0.6.13

Hindu–Arabic numeral system H1GQVKVPZE

URI	`m2://inv/H1GQVKVPZE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hindu–Arabic numeral system, Hindu–Arabic numeral system (definition). Also Wikidata Q3059346

History

2026-11-02: add by m2/dev

Kittell graph H1GRMSMMJZ

URI	`m2://inv/H1GRMSMMJZ`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q3115505, Kittell graph (unknown). Also House of Graphs 1194, MathWorld KittellGraph

History

2026-10-26: add by m2/dev

H1GSBJF65C H1GSBJF65C

URI	`m2://inv/H1GSBJF65C`
Kind	statement
Layer	research
MSC	26-XX, 35-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2508.16102#XZB5 (statement). In 55QFMZQ5HM/e1, theorem 1.2

History

2026-10-27: add by m2/v0.3.6

H1GT6PJ7JE H1GT6PJ7JE

URI	`m2://inv/H1GT6PJ7JE`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20207#3RKQ (statement). In 1MPH7GCFJ2/e1, lemma 7.4

History

2026-10-27: add by m2/v0.4.2

Nash–Moser theorem H1GY7V6222

URI	`m2://inv/H1GY7V6222`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Richard S. Hamilton#4GRV, Nash–Moser theorem (statement)

History

2026-11-02: add by m2/dev

H1H77A7R84 H1H77A7R84

URI	`m2://inv/H1H77A7R84`
Kind	statement
Layer	research
MSC	46-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 0903.1504#0LA1 (statement). In D5YZ438QTY/e1, theorem 1.1

History

2026-10-27: add by m2/v0.3.5

Gauss's lemma H1HA4KK7DC

URI	`m2://inv/H1HA4KK7DC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gauss's lemma (Riemannian geometry), Gauss's lemma (statement). Also Wikidata Q3229339

History

2026-11-02: add by m2/dev

H1HAKPVNF8 H1HAKPVNF8

URI	`m2://inv/H1HAKPVNF8`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14820#7D9N (statement). In FKE0A3KY1N/e1, theorem 3.5

History

2026-10-28: add by m2/v0.4.2

List of mathematical properties of points H1HJMQ0TAS

URI	`m2://inv/H1HJMQ0TAS`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical properties of points, List of mathematical properties of points (topic). Also Wikidata Q6634090

History

2026-11-02: add by m2/dev

H1HJYCSSKB H1HJYCSSKB

URI	`m2://inv/H1HJYCSSKB`
Kind	example
Layer	research
MSC	11-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23847#3QZX (example)

History

2026-11-02: add by m2/v0.6.17

H1HKB5Y1AS H1HKB5Y1AS

URI	`m2://inv/H1HKB5Y1AS`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20237#QHH0 (statement)

History

2026-11-02: add by m2/v0.6.18

Circular shift H1HR11P2Q0

URI	`m2://inv/H1HR11P2Q0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Circular shift, Circular shift (definition). Also Wikidata Q3042450

History

2026-11-02: add by m2/dev

Alex F. T. W. Rosenberg H1J3ZQHZRB

URI	`m2://inv/H1J3ZQHZRB`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Alex F. T. W. Rosenberg, Alex F. T. W. Rosenberg (topic). Also Wikidata Q20984547

History

2026-11-02: add by m2/dev

Examples H1JCKGX9BT

URI	`m2://inv/H1JCKGX9BT`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Strictly positive measure#CG20, Examples (example)

History

2026-11-02: add by m2/dev

Formal definition H1JP3CGDRG

URI	`m2://inv/H1JP3CGDRG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tangential and normal components#G114, Formal definition (definition)

History

2026-11-02: add by m2/dev

measuring tensor H1JQFFH87T

URI	`m2://inv/H1JQFFH87T`
Kind	definition
Layer	research
MSC	18-XX, 55-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2405.14678#9T3H, measuring tensor (definition). In 9ZSNSJRJ5N/e1, definition 18

History

2026-10-27: add by m2/v0.4.2

CEILIDH H1JRR1TRY3

URI	`m2://inv/H1JRR1TRY3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia CEILIDH, CEILIDH (definition). Also Wikidata Q4035603

History

2026-11-02: add by m2/dev

H1JVN1TJM0 H1JVN1TJM0

URI	`m2://inv/H1JVN1TJM0`
Kind	statement
Layer	research
MSC	55-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32816#NIME (statement). In 10YV2P9E8W/e1, lemma 4.11

History

2026-10-31: add by m2/v0.5.6

iterative conception of set H1JWRGXB1J

URI	`m2://inv/H1JWRGXB1J`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#2GGK, iterative conception of set (definition)

History

2026-11-02: add by m2/dev

Properties H1K0EDDVB1

URI	`m2://inv/H1K0EDDVB1`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Thomae's function#FTZV, Properties (statement)

History

2026-11-02: add by m2/dev

Hellin's law H1K3MMGGPQ

URI	`m2://inv/H1K3MMGGPQ`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hellin's law, Hellin's law (topic). Also Wikidata Q1035152

History

2026-11-02: add by m2/dev

H1K8KNHHZY H1K8KNHHZY

URI	`m2://inv/H1K8KNHHZY`
Kind	definition
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00660#BSQV (definition). In FF8A8FP4FB/e1, definition 3

History

2026-10-30: add by m2/v0.4.12

H1KA74FRCB H1KA74FRCB

URI	`m2://inv/H1KA74FRCB`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 37-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20522#6YTN (statement)

History

2026-11-02: add by m2/v0.6.18

Yoichiro Nambu H1KKD5HZTC

URI	`m2://inv/H1KKD5HZTC`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q188120, Yoichiro Nambu (unknown). Also nLab Yoichiro Nambu

History

2026-10-26: add by m2/dev

Light travel distance H1KR483ZMZ

URI	`m2://inv/H1KR483ZMZ`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Distance measure#Z5OU, Light travel distance (unknown)

History

2026-11-02: add by m2/dev

Solomon Lefschetz H1KV6N3SEY

URI	`m2://inv/H1KV6N3SEY`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#3G83, Solomon Lefschetz (topic)

History

2026-11-02: add by m2/dev

H1M3XGCVN7 H1M3XGCVN7

URI	`m2://inv/H1M3XGCVN7`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33062#6WYQ (statement). In 4X19VA3FFW/e1, theorem 2.2

History

2026-10-30: add by m2/v0.4.12

H1M47PXKE1 H1M47PXKE1

URI	`m2://inv/H1M47PXKE1`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20758#9TFA (statement). In PG0B4PH9YH/e1, proposition 3.17

History

2026-10-27: add by m2/v0.4.2

Conservation laws H1M7SMW9VC

URI	`m2://inv/H1M7SMW9VC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Benjamin–Bona–Mahony equation#32OG, Conservation laws (statement)

History

2026-11-02: add by m2/dev

351 (number) H1MBX4Y6Z7

URI	`m2://inv/H1MBX4Y6Z7`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 300 (number)#KNEQ, 351 (number) (unknown)

History

2026-11-02: add by m2/dev

Gallant, A. Ronald H1MPK5WKXA

URI	`m2://inv/H1MPK5WKXA`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statisticians#T14G, Gallant, A. Ronald (unknown)

History

2026-11-02: add by m2/dev

Weak DR-submodularity H1MQA0PK16

URI	`m2://inv/H1MQA0PK16`
Kind	definition
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24569#MRN4, Weak DR-submodularity (definition)

History

2026-11-01: add by m2/v0.6.15

List of American mathematicians H1MQGAPC1P

URI	`m2://inv/H1MQGAPC1P`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lists of mathematicians#MW0O, List of American mathematicians (unknown)

History

2026-11-02: add by m2/dev

Ordinal model H1MX65JZTC

URI	`m2://inv/H1MX65JZTC`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ordinal data#E1FX, Ordinal model (unknown)

History

2026-11-02: add by m2/dev

Călugăreanu theorem H1N1078TRE

URI	`m2://inv/H1N1078TRE`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q113532978, Călugăreanu theorem (statement). Also MathWorld CalugareanuTheorem

History

2026-10-26: add by m2/dev

H1N1PB8VRW H1N1PB8VRW

URI	`m2://inv/H1N1PB8VRW`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book setmath.tex#thm:wtype-wf (example). In N54F33XE07, eg, section C.3

History

2026-11-01: add by m2/v0.6.13

Joel Feldman H1N62M6M83

URI	`m2://inv/H1N62M6M83`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#L6KV, Joel Feldman (unknown)

History

2026-11-02: add by m2/dev

Good Event 2 H1NAMZTD1V

URI	`m2://inv/H1NAMZTD1V`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04600#3BKB, Good Event 2 (statement). In 4V64K0DYSV/e1, lemma I.2

History

2026-10-29: add by m2/v0.4.12

Action (physics) H1ND4HPG62

URI	`m2://inv/H1ND4HPG62`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of variational topics#HWCR, Action (physics) (definition)
wikipedia: Wikipedia List of mathematical topics in classical mechanics#CHUG, Action (physics) (definition)

History

2026-11-02: add by m2/dev

H1ND6CCF21 H1ND6CCF21

URI	`m2://inv/H1ND6CCF21`
Kind	statement
Layer	research
MSC	17-XX, 81-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04046#CBGW (statement). In 3THDT8WNF7/e1, lemma 7

History

2026-10-29: add by m2/v0.4.12

Cancellation of the analytic tangency-region contribution H1NPWHMK0N

URI	`m2://inv/H1NPWHMK0N`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-XX, 81-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23472#432Y, Cancellation of the analytic tangency-region contribution (statement)

History

2026-11-02: add by m2/v0.6.17

H1NS8712KP H1NS8712KP

URI	`m2://inv/H1NS8712KP`
Kind	statement
Layer	research
MSC	49-XX, 60-XX, 90-XX, 93-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04874#ID0A (statement). In X365951S4Q/e1, lemma 3.9

History

2026-10-29: add by m2/v0.4.12

Completely integrally closed H1NWGK1QZ9

URI	`m2://inv/H1NWGK1QZ9`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Integrally closed domain#3UHO, Completely integrally closed (unknown)

History

2026-11-02: add by m2/dev

H1NWX753NV H1NWX753NV

URI	`m2://inv/H1NWX753NV`
Kind	statement
Layer	research
MSC	26-XX, 60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06152#DXA7 (statement). In HH35K7S17H/e1, lemma 3.6

History

2026-10-29: add by m2/v0.4.10

Derivation from Huygens's principle H1P3B1RQN2

URI	`m2://inv/H1P3B1RQN2`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Snell's law#8YHQ, Derivation from Huygens's principle (statement)

History

2026-11-02: add by m2/dev

Ackermann function H1P5YSA2F0

URI	`m2://inv/H1P5YSA2F0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#CUKW, Ackermann function (definition)

History

2026-11-02: add by m2/dev

Russell-Myhill Paradox H1PKPFG9CY

URI	`m2://inv/H1PKPFG9CY`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia John Myhill#DCOD, Russell-Myhill Paradox (unknown)

History

2026-11-02: add by m2/dev

Interior extremum theorem H1PM9A6AXE

URI	`m2://inv/H1PM9A6AXE`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Fermat's theorem on stationary points 0PCVBRV9VJ

Mentions

mathlib_1000: mathlib_1000 Q727102, Fermat's theorem (stationary points) (statement). Also Mathlib IsLocalExtr.deriv_eq_zero, Mathlib IsLocalExtr.fderiv_eq_zero, Wikidata Q727102
thousand_plus: thousand_plus Q727102, Fermat's theorem (stationary points) (statement). Also Mathlib IsLocalExtr.deriv_eq_zero, Mathlib IsLocalExtr.fderiv_eq_zero, Wikidata Q727102, Wikipedia Fermat's theorem (stationary points)
wikipedia: Wikipedia Interior extremum theorem, Interior extremum theorem (statement). Also Wikidata Q727102

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Characterization H1PVJKX67D

URI	`m2://inv/H1PVJKX67D`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Diagonalizable matrix#37WN, Characterization (statement)

History

2026-11-02: add by m2/dev

H1PXSXCQTY H1PXSXCQTY

URI	`m2://inv/H1PXSXCQTY`
Kind	problem
Layer	research
MSC	16-XX, 18-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 0902.4012#I3XW (problem). In 6FH16YESRH/e1, problem 3

History

2026-10-27: add by m2/v0.3.5

H1PZ520F0N H1PZ520F0N

URI	`m2://inv/H1PZ520F0N`
Kind	definition
Layer	research
MSC	03-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27078#RZDO (definition)

History

2026-11-01: add by m2/v0.6.15

Going up and going down H1Q0VD86Q4

URI	`m2://inv/H1Q0VD86Q4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of commutative algebra topics#ZXIJ, Going up and going down (definition)

History

2026-11-02: add by m2/dev

H1Q5VR6Q3G H1Q5VR6Q3G

URI	`m2://inv/H1Q5VR6Q3G`
Kind	statement
Layer	research
MSC	16-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08091#AE4H (statement). In MS13WE3CSD/e1, lemma 2.14

History

2026-10-29: add by m2/v0.4.10

CRYPTON H1Q8ZD378W

URI	`m2://inv/H1Q8ZD378W`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia CRYPTON, CRYPTON (definition). Also Wikidata Q3648911

History

2026-11-02: add by m2/dev

H1QC5QDSK6 H1QC5QDSK6

URI	`m2://inv/H1QC5QDSK6`
Kind	statement
Layer	research
MSC	37-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12319#N3H4 (statement). In FH8GB1C17K/e1, proposition 4

History

2026-10-28: add by m2/v0.4.2

Conformal linear transformation H1QDWGD7P9

URI	`m2://inv/H1QDWGD7P9`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Conformal linear transformation, Conformal linear transformation (definition). Also Wikidata Q121308015

History

2026-11-02: add by m2/dev

Modular representation theory H1R0EF1SJ0

URI	`m2://inv/H1R0EF1SJ0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Modular representation theory, Modular representation theory (definition). Also Wikidata Q6889739

History

2026-11-02: add by m2/dev

Polynomial decay of eigenvalues H1R496ZNYY

URI	`m2://inv/H1R496ZNYY`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2105.08875#P12S, Polynomial decay of eigenvalues (statement). In QT8HPDAYPX/e1, corollary 4.2

History

2026-10-27: add by m2/v0.3.5

H1R835GZKH H1R835GZKH

URI	`m2://inv/H1R835GZKH`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 17-XX, 81-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25168#WAGO (statement)

History

2026-11-01: add by m2/v0.6.15

H1RBE9T8T9 H1RBE9T8T9

URI	`m2://inv/H1RBE9T8T9`
Kind	statement
Layer	research
MSC	05-XX, 60-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25062#I6JR (statement)

History

2026-11-01: add by m2/v0.6.15

Aseret H1RR1347V8

URI	`m2://inv/H1RR1347V8`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of places with numeric names#HI8Q, Aseret (unknown)

History

2026-11-02: add by m2/dev

Complex geometry H1RRKN9JQ4

URI	`m2://inv/H1RRKN9JQ4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#NBVW, Complex geometry (definition)

History

2026-11-02: add by m2/dev

stable homotopy group H1RV3C1F7Z

URI	`m2://inv/H1RV3C1F7Z`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#3FD8, stable homotopy group (definition)

History

2026-11-02: add by m2/dev

H1S03JEKRH H1S03JEKRH

URI	`m2://inv/H1S03JEKRH`
Kind	definition
Layer	research
MSC	14-XX, 55-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21034#7GFR (definition)

History

2026-11-02: add by m2/v0.6.18

H1S0853PFT H1S0853PFT

URI	`m2://inv/H1S0853PFT`
Kind	statement
Layer	research
MSC	05-XX, 20-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25004#3BOI (statement)

History

2026-11-01: add by m2/v0.6.15

H1S1H1AJ1W H1S1H1AJ1W

URI	`m2://inv/H1S1H1AJ1W`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38548#TIO2 (statement). In Z7ZFV3HM1S/e1, proposition 3.11

History

2026-10-30: add by m2/v0.4.12

Products of critical functions H1S7BZ9MDD

URI	`m2://inv/H1S7BZ9MDD`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30301#PPL6, Products of critical functions (statement). In 7NS75J7HAM/e1, lemma 8.4

History

2026-10-31: add by m2/v0.5.6

Sufficiency; approximate and structured forms H1S8Q9M797

URI	`m2://inv/H1S8Q9M797`
Kind	statement
Layer	research
MSC	51-XX, 52-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26129#R3M6, Sufficiency; approximate and structured forms (statement)

History

2026-11-01: add by m2/v0.6.15

H1SB7XQV8S H1SB7XQV8S

URI	`m2://inv/H1SB7XQV8S`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37093#OYCY (statement). In GA6QH32CJQ/e1, proposition 10

History

2026-10-30: add by m2/v0.4.12

Hasegawa–Mima equation H1SBZSBK1V

URI	`m2://inv/H1SBZSBK1V`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hasegawa–Mima equation, Hasegawa–Mima equation (definition). Also Wikidata Q5678777

History

2026-11-02: add by m2/dev

H1SDRSTY5N H1SDRSTY5N

URI	`m2://inv/H1SDRSTY5N`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28143#J53U (statement)

History

2026-11-01: add by m2/v0.6.15

Thomas precession H1SG5F69DH

URI	`m2://inv/H1SG5F69DH`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Thomas precession, Thomas precession (definition). Also Wikidata Q1760062

History

2026-11-02: add by m2/dev

Bruce M. Boghosian H1SQY9F85W

URI	`m2://inv/H1SQY9F85W`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bruce M. Boghosian, Bruce M. Boghosian (topic). Also Wikidata Q102301235

History

2026-11-02: add by m2/dev

Examples H1SVBZP65W

URI	`m2://inv/H1SVBZP65W`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lorenz curve#K4ZI, Examples (example)

History

2026-11-02: add by m2/dev

H1SY2MPPRZ H1SY2MPPRZ

URI	`m2://inv/H1SY2MPPRZ`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.22345#13E0 (statement). In 7JATJ4VG9G/e1, lemma 9.4

History

2026-10-27: add by m2/v0.4.0

Schwinger limit H1T08G1BR9

URI	`m2://inv/H1T08G1BR9`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1789519, Schwinger limit (unknown). Also nLab Schwinger limit

History

2026-10-26: add by m2/dev

H1T8M2YBXH H1T8M2YBXH

URI	`m2://inv/H1T8M2YBXH`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23390#WAJ6 (statement)

History

2026-11-02: add by m2/v0.6.17

16-cell honeycomb H1TBP9H25Q

URI	`m2://inv/H1TBP9H25Q`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical shapes#YDVO, 16-cell honeycomb (definition)
wikipedia: Wikipedia List of mathematical shapes#ZPPD, 16-cell honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PNHM, 16-cell honeycomb (definition)

History

2026-11-02: add by m2/dev

More product spaces H1TGDS7ZB1

URI	`m2://inv/H1TGDS7ZB1`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/topology/constructions.tex#example-4, More product spaces (example). In RZP28ERRZV, example, section 96.3

History

2026-11-01: add by m2/v0.6.13

Certified Levels of the Sharp Exponent H1TRV0RT7Z

URI	`m2://inv/H1TRV0RT7Z`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13222#P189, Certified Levels of the Sharp Exponent (statement). In Z6WA2R0J50/e1, corollary 6.8

History

2026-10-28: add by m2/v0.4.2

Police Constable H1V56KX0BG

URI	`m2://inv/H1V56KX0BG`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#2UZR, Police Constable (unknown)

History

2026-11-02: add by m2/dev

H1V5WY99AT H1V5WY99AT

URI	`m2://inv/H1V5WY99AT`
Kind	statement
Layer	research
MSC	54-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14783#ISVC (statement). In Y3X5XY2J65/e1, corollary 6.3

History

2026-10-28: add by m2/v0.4.2

rule of 72 H1V77CM1V3

URI	`m2://inv/H1V77CM1V3`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q264016, rule of 72 (unknown). Also MathWorld Ruleof72

History

2026-10-26: add by m2/dev

Global uniqueness with a faithful Gaussian input H1VBQYBTRC

URI	`m2://inv/H1VBQYBTRC`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01855#2A7X, Global uniqueness with a faithful Gaussian input (statement). In MM8P5CJR18/e1, theorem 2.6

History

2026-10-29: add by m2/v0.4.12

H1VEMT5A4R H1VEMT5A4R

URI	`m2://inv/H1VEMT5A4R`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16844#XB0Q (statement). In MAY0WVXT07/e1, theorem 2.2

History

2026-10-28: add by m2/v0.4.2

Shu Jiang H1VFEVMRW5

URI	`m2://inv/H1VFEVMRW5`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Shu Jiang, Shu Jiang (topic). Also Wikidata Q89998517

History

2026-11-02: add by m2/dev

krypton-84 H1VGK2J2TG

URI	`m2://inv/H1VGK2J2TG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2163590, krypton-84 (definition). Also ProofWiki Definition:Krypton/84

History

2026-10-26: add by m2/dev

H1VJ9SA7BQ H1VJ9SA7BQ

URI	`m2://inv/H1VJ9SA7BQ`
Kind	definition
Layer	research
MSC	05-XX, 13-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23605#XADY (definition)

History

2026-11-02: add by m2/v0.6.17

Theorem-provers H1VJXW70WN

URI	`m2://inv/H1VJXW70WN`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mathematical software#G81E, Theorem-provers (statement)

History

2026-11-02: add by m2/dev

H1VSHSHN7A H1VSHSHN7A

URI	`m2://inv/H1VSHSHN7A`
Kind	statement
Layer	research
MSC	16-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31907#1QJ4 (statement). In 6B2PCEGCYZ/e1, proposition 1.3

History

2026-10-31: add by m2/v0.5.6

H1VXNR8GKY H1VXNR8GKY

URI	`m2://inv/H1VXNR8GKY`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20469#EMW9 (statement)

History

2026-11-02: add by m2/v0.6.18

Marijn Heule H1W0H0D19K

URI	`m2://inv/H1W0H0D19K`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of long mathematical proofs#QAXI, Marijn Heule (unknown)

History

2026-11-02: add by m2/dev

Variants of Wilson's theorem H1W932DWD2

URI	`m2://inv/H1W932DWD2`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Table of congruences#40UH, Variants of Wilson's theorem (statement)

History

2026-11-02: add by m2/dev

second-degree polynomial H1WDMWBR8K

URI	`m2://inv/H1WDMWBR8K`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of calculus#O44Z, second-degree polynomial (definition)

History

2026-11-02: add by m2/dev

H1WJAW0A87 H1WJAW0A87

URI	`m2://inv/H1WJAW0A87`
Kind	definition
Layer	research
MSC	11-XX, 14-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21622#SZQX (definition). In H21X3FHNYJ/e1, definition 1.11

History

2026-10-27: add by m2/v0.4.2

By extension H1WJJWDZHM

URI	`m2://inv/H1WJJWDZHM`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Extensional and intensional definitions#S53Q, By extension (unknown)

History

2026-11-02: add by m2/dev

Heliocentric universe H1WMBB0KT6

URI	`m2://inv/H1WMBB0KT6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of superseded scientific theories#8GU4, Heliocentric universe (unknown)

History

2026-11-02: add by m2/dev

H1WMYN90RT H1WMYN90RT

URI	`m2://inv/H1WMYN90RT`
Kind	definition
Layer	research
MSC	14-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12736#545V (definition). In 5350Q52F6P/e1, definition 3.1

History

2026-10-28: add by m2/v0.4.2

Local law -- RMT regime H1WNC9N5NJ

URI	`m2://inv/H1WNC9N5NJ`
Kind	statement
Layer	research
MSC	60-XX, 81-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25301#4TX6, Local law -- RMT regime (statement)

History

2026-11-01: add by m2/v0.6.15

H1WRV68RBG H1WRV68RBG

URI	`m2://inv/H1WRV68RBG`
Kind	definition
Layer	research
MSC	14-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27301#84D4 (definition)

History

2026-11-01: add by m2/v0.6.15

recursive Bayesian estimation H1WTXWB2C2

URI	`m2://inv/H1WTXWB2C2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#HWK8, recursive Bayesian estimation (definition)

History

2026-11-02: add by m2/dev

H1WY2QGA6K H1WY2QGA6K

URI	`m2://inv/H1WY2QGA6K`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 37-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20522#T8TB (statement)

History

2026-11-02: add by m2/v0.6.18

H1X0A983GG H1X0A983GG

URI	`m2://inv/H1X0A983GG`
Kind	statement
Layer	research
MSC	60-XX, 81-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18847#WAZQ (statement). In DZ12XTTJSM/e1, lemma 2.19

History

2026-10-28: add by m2/v0.4.2

Notations H1X2DM19RN

URI	`m2://inv/H1X2DM19RN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quadratic residue#K9YS, Notations (definition)

History

2026-11-02: add by m2/dev

Robert Goldblatt H1X5BVAR6K

URI	`m2://inv/H1X5BVAR6K`
Kind	topic
Layer	textbook
Sources	2
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q7344830, Robert Goldblatt (unknown). Also nLab Robert Goldblatt, ProofWiki Mathematician:Robert_Ian_Goldblatt
wikipedia: Wikipedia Robert Goldblatt, Robert Goldblatt (topic). Also Wikidata Q7344830

History

2026-10-26: add by m2/dev

H1X7A8H0PE H1X7A8H0PE

URI	`m2://inv/H1X7A8H0PE`
Kind	statement
Layer	research
MSC	14-XX, 53-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2403.16814#D9VW (statement). In MN03Z3PRFT/e1, proposition 4.7

History

2026-10-27: add by m2/v0.3.5

Sloan Work and Family Research Network H1XA2EN17B

URI	`m2://inv/H1XA2EN17B`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of research centers at Boston College#UJI9, Sloan Work and Family Research Network (unknown)

History

2026-11-02: add by m2/dev

torus, induction principle for H1XCD25DMS

URI	`m2://inv/H1XCD25DMS`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/5.6/torus-induction-principle-for, torus, induction principle for (concept). In N54F33XE07, index, section 5.6

History

2026-11-01: add by m2/v0.6.13

Closed seam energy H1XHW4DGXE

URI	`m2://inv/H1XHW4DGXE`
Kind	statement
Layer	research
MSC	11-XX, 53-XX, 57-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2501.09848#70MP, Closed seam energy (statement). In HF7YNMW39N/e1, lemma 3.1

History

2026-10-27: add by m2/v0.4.0

H1XPAG6W8F H1XPAG6W8F

URI	`m2://inv/H1XPAG6W8F`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.22247#2HPC (statement). In SBNH1MWND8/e1, proposition 7

History

2026-10-27: add by m2/v0.4.0

Deterministic population-error exponents H1XQRN7961

URI	`m2://inv/H1XQRN7961`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11309#4UTZ, Deterministic population-error exponents (statement). In TTEAQA1XXR/e1, proposition C.26

History

2026-10-28: add by m2/v0.4.3

Per Lindström H1XY9TNP5C

URI	`m2://inv/H1XY9TNP5C`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of logicians#Z2P2, Per Lindström (topic)

History

2026-11-02: add by m2/dev

Properties H1YCC2X00Y

URI	`m2://inv/H1YCC2X00Y`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Asymptotic analysis#DWM3, Properties (statement)

History

2026-11-02: add by m2/dev

!!^{injective} function H1YP2N3D2S

URI	`m2://inv/H1YP2N3D2S`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/sets-functions-relations/functions/function-kinds.tex#defn-2, !!^{injective} function (definition). In PKGMM3P5QY, defn, section 78.10

History

2026-11-01: add by m2/v0.6.13

Consistency for fixed $\delta$ H1YWBS04DP

URI	`m2://inv/H1YWBS04DP`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29524#X9Z0, Consistency for fixed $\delta$ (statement)

History

2026-11-01: add by m2/v0.6.15

H1YXQDDFZY H1YXQDDFZY

URI	`m2://inv/H1YXQDDFZY`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23685#HQ0C (statement)

History

2026-11-02: add by m2/v0.6.17

H1ZN3X0ZRN H1ZN3X0ZRN

URI	`m2://inv/H1ZN3X0ZRN`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06909#40EB (statement). In F1EF8XE30A/e1, lemma 2.6

History

2026-10-29: add by m2/v0.4.10

H1ZPJE9WXB H1ZPJE9WXB

URI	`m2://inv/H1ZPJE9WXB`
Kind	statement
Layer	research
MSC	13-XX, 19-XX, 55-XX
Sources	1
Outcome	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))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2505.05539#VN34 (statement). In 8SVVEVGMNE/e1, lemma 4.20

History

2026-10-27: add by m2/v0.3.5