Inventory rows JJ

Quantile-parameterized distribution JJ01QM2XSH

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

Mentions

wikipedia: Wikipedia List of probability distributions#KPNY, Quantile-parameterized distribution (definition)

History

2026-11-02: add by m2/dev

JJ04VPWMN0 JJ04VPWMN0

URI	`m2://inv/JJ04VPWMN0`
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 2306.17260#82CY (statement). In V0T2SY4M6S/e1, lemma 3.3

History

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

JJ0B3WE3Y0 JJ0B3WE3Y0

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

Mentions

applied_combinatorics: applied_combinatorics source/s_recurrence_adv-ops.ptx#ex_recurrence_adveq (example). In QKM9DD2H56, example, section 9.3

History

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

JJ0BF6R7G1 JJ0BF6R7G1

URI	`m2://inv/JJ0BF6R7G1`
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.28808#I9RY (statement)

History

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

JJ0ETGR4NP JJ0ETGR4NP

URI	`m2://inv/JJ0ETGR4NP`
Kind	statement
Layer	research
MSC	16-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 2609.34193#VICY (statement). In 9XMZTTSF5E/e1, lemma 6.9

History

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

Uzawa equivalence theorem JJ0FN5B7QY

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

Mentions

wikipedia: Wikipedia Arrow–Debreu model#SJAB, Uzawa equivalence theorem (statement)

History

2026-11-02: add by m2/dev

Mabton JJ0GFYCWZA

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#PZQJ, Mabton (unknown)

History

2026-11-02: add by m2/dev

Weak Hedetniemi Conjecture JJ0K9HZV2N

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

Mentions

wikipedia: Wikipedia Hedetniemi's conjecture#UN6W, Weak Hedetniemi Conjecture (statement)

History

2026-11-02: add by m2/dev

Nancy Hingston JJ0MVX9GNM

URI	`m2://inv/JJ0MVX9GNM`
Kind	topic
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#SGHV, Nancy Hingston (topic)

History

2026-11-02: add by m2/dev

Primitive equations JJ0NXTS94V

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

Mentions

wikipedia: Wikipedia Primitive equations, Primitive equations (definition). Also Wikidata Q2386647

History

2026-11-02: add by m2/dev

Properties JJ0TR54G1Z

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

Mentions

wikipedia: Wikipedia Twisted cubic#CVAB, Properties (statement)

History

2026-11-02: add by m2/dev

JJ0ZG2AZHH JJ0ZG2AZHH

URI	`m2://inv/JJ0ZG2AZHH`
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 2609.24578#C1SI (statement)

History

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

Vadim Kaloshin JJ11ZDV73P

URI	`m2://inv/JJ11ZDV73P`
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#D9WJ, Vadim Kaloshin (unknown)

History

2026-11-02: add by m2/dev

Fifteen Mile, Queensland JJ12ZWST8D

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

Mentions

wikipedia: Wikipedia List of places with numeric names#EE89, Fifteen Mile, Queensland (unknown)

History

2026-11-02: add by m2/dev

JJ15DHWHP0 JJ15DHWHP0

URI	`m2://inv/JJ15DHWHP0`
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.36456#HXIQ (statement). In E3MBNAPCQG/e1, lemma 2.2

History

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

Marianthi Markatou JJ17268K0K

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#GX4H, Marianthi Markatou (unknown)

History

2026-11-02: add by m2/dev

Dubins–Schwarz theorem JJ1CB0EG1Q

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

Mentions

wikipedia: Wikipedia Dubins–Schwarz theorem#4X6X, Dubins–Schwarz theorem (statement)

History

2026-11-02: add by m2/dev

metalanguage JJ1DXKRYA9

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

Mentions

wikipedia: Wikipedia Glossary of logic#IDCA, metalanguage (definition)

History

2026-11-02: add by m2/dev

JJ1QXN2DWP JJ1QXN2DWP

URI	`m2://inv/JJ1QXN2DWP`
Kind	statement
Layer	research
MSC	03-XX, 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.22317#IPA8 (statement). In 2W5Z97BBW4/e1, theorem 4.12

History

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

Intermediate value theorem JJ1XA16A0Z

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

Mentions

wikipedia: Wikipedia Nonstandard calculus#X751, Intermediate value theorem (statement)

History

2026-11-02: add by m2/dev

Maya Sternberg JJ1YHP95YW

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

Mentions

wikipedia: Wikipedia Maya Sternberg, Maya Sternberg (topic). Also Wikidata Q87856585

History

2026-11-02: add by m2/dev

JJ29CT973B JJ29CT973B

URI	`m2://inv/JJ29CT973B`
Kind	statement
Layer	research
MSC	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 2609.24325#8JGC (statement)

History

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

requires \sectionref{sec:moreonseries} and \sectionref{sec:taylor} JJ2AQ1GHMG

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-32, requires \sectionref{sec:moreonseries} and \sectionref{sec:taylor} (exercise). In E59CDZA4DP, exercise, section 9.2.5

History

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

JJ2FMRTF49 JJ2FMRTF49

URI	`m2://inv/JJ2FMRTF49`
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.19251#0XGI (statement). In CSW6NG0FRN/e1, proposition 3.2

History

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

JJ2KSC4ZDJ JJ2KSC4ZDJ

URI	`m2://inv/JJ2KSC4ZDJ`
Kind	definition
Layer	research
MSC	11-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.13877#XGXG (definition). In NBMA6DBKJG/e1, definition 2.3

History

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

JJ2KVW6GPP JJ2KVW6GPP

URI	`m2://inv/JJ2KVW6GPP`
Kind	definition
Layer	research
MSC	17-XX, 20-XX, 22-XX, 46-XX, 47-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.01208#XZO6 (definition). In 317GZJ38HS/e1, definition 2.7

History

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

A. Edward Nussbaum JJ2PMFY4WX

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#RXX5, A. Edward Nussbaum (unknown)

History

2026-11-02: add by m2/dev

Stronger axioms JJ311QRM5T

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

Mentions

wikipedia: Wikipedia Reinhardt cardinal#H157, Stronger axioms (statement)

History

2026-11-02: add by m2/dev

Definitions JJ321E6Z6T

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

Mentions

wikipedia: Wikipedia Ky Fan lemma#0Y3F, Definitions (definition)

History

2026-11-02: add by m2/dev

JJ3724JJ3Q JJ3724JJ3Q

URI	`m2://inv/JJ3724JJ3Q`
Kind	statement
Layer	research
MSC	30-XX, 32-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.21260#C1VM (statement). In Z7WW536KA5/e1, theorem 3.2

History

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

JJ3GV0MS8A JJ3GV0MS8A

URI	`m2://inv/JJ3GV0MS8A`
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.09019#U561 (statement). In 8V6YECFCC1/e1, lemma 3.8

History

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

JJ3KGJ90DH JJ3KGJ90DH

URI	`m2://inv/JJ3KGJ90DH`
Kind	definition
Layer	research
MSC	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 2510.12502#5O5A (definition). In 3A4K47Y9F2/e1, definition 6.29

History

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

trochoid JJ3V6QJTZ7

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

Mentions

wikidata: Wikidata Q3539824, trochoid (unknown). Also EoM Trochoid, MathWorld Trochoid
wikipedia: Wikipedia Trochoid, Trochoid (definition). Also Wikidata Q3539824

History

2026-10-26: add by m2/dev

1883 Costa Rican census JJ3ZT48SRH

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

Mentions

wikipedia: Wikipedia 1883 Costa Rican census, 1883 Costa Rican census (definition). Also Wikidata Q100151934

History

2026-11-02: add by m2/dev

JJ4C747KHZ JJ4C747KHZ

URI	`m2://inv/JJ4C747KHZ`
Kind	statement
Layer	research
MSC	46-XX, 47-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.15160#1Y7X (statement). In 6FV4CCY1NX/e1, corollary 2.1

History

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

Properties JJ4E1MJVZY

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

Mentions

wikipedia: Wikipedia Truncated normal distribution#TD5P, Properties (statement)

History

2026-11-02: add by m2/dev

Gram determinant JJ4FK1YK98

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

Mentions

wikipedia: Wikipedia Gram matrix#7CKN, Gram determinant (unknown)

History

2026-11-02: add by m2/dev

JJ4HAQC19T JJ4HAQC19T

URI	`m2://inv/JJ4HAQC19T`
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#JEA3 (statement). In Y3X5XY2J65/e1, proposition 7.6

History

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

Otto Toeplitz JJ4HYAF118

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#ILNG, Otto Toeplitz (topic)

History

2026-11-02: add by m2/dev

Geometry Expert JJ4MST7DE9

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

Mentions

wikipedia: Wikipedia Geometry Expert, Geometry Expert (definition). Also Wikidata Q5535517

History

2026-11-02: add by m2/dev

JJ55SZP3Q9 JJ55SZP3Q9

URI	`m2://inv/JJ55SZP3Q9`
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.27771#QBJK (statement)

History

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

JJ5FJNN2VJ JJ5FJNN2VJ

URI	`m2://inv/JJ5FJNN2VJ`
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.00786#OI1P (statement). In XKEE0DK6N3/e1, lemma 4.3

History

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

Kirby–Siebenmann JJ5MPWR7XF

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#LCPY, Kirby–Siebenmann (definition)

History

2026-11-02: add by m2/dev

JJ5NSQQTS4 JJ5NSQQTS4

URI	`m2://inv/JJ5NSQQTS4`
Kind	statement
Layer	research
MSC	13-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 2405.02275#2SVG (statement). In 1QXCNGRWV1/e1, lemma 3.1

History

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

JJ5PC24DGS JJ5PC24DGS

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 5.5

History

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

Michael Luby JJ5Z3VCMWT

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

Mentions

wikipedia: Wikipedia Michael Luby, Michael Luby (topic). Also Wikidata Q14492353

History

2026-11-02: add by m2/dev

JJ64P43F91 JJ64P43F91

URI	`m2://inv/JJ64P43F91`
Kind	statement
Layer	research
MSC	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 1512.06981#LFRM (statement). In X923ZEY423/e1, lemma 5.2.1

History

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

Compact space JJ679X90MC

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

Mentions

wikipedia: Wikipedia List of real analysis topics#ICS6, Compact space (definition)
wikipedia: Wikipedia List of general topology topics#53TY, Compact space (definition)

History

2026-11-02: add by m2/dev

Theorem JJ6DN9BA6G

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

Mentions

wikipedia: Wikipedia Block design#R0VR, Theorem (statement)

History

2026-11-02: add by m2/dev

Regularity and Russell's paradox JJ6GG3B9AP

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

Mentions

wikipedia: Wikipedia Axiom of regularity#VWX9, Regularity and Russell's paradox (statement)

History

2026-11-02: add by m2/dev

Morris H. DeGroot JJ6PTBF16W

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#3GKQ, Morris H. DeGroot (topic)

History

2026-11-02: add by m2/dev

JJ6RQYTRZC JJ6RQYTRZC

URI	`m2://inv/JJ6RQYTRZC`
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.11031#WCHC (statement). In 9DMJXFRQN9/e1, theorem 3.2

History

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

Kodaira embedding theorem JJ6WC8TQZP

URI	`m2://inv/JJ6WC8TQZP`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	4
Outcome	open
Node	Kodaira embedding theorem 7G7CSM2NZ9

Mentions

mathlib_1000: mathlib_1000 Q6425088, Kodaira embedding theorem (statement). Also Wikidata Q6425088
thousand_plus: thousand_plus Q6425088, Kodaira embedding theorem (statement). Also Wikidata Q6425088, Wikipedia Kodaira embedding theorem
wikidata: Wikidata Q6425088, Kodaira embedding theorem (statement). Also MathWorld KodairaEmbeddingTheorem, nLab Kodaira embedding theorem
wikipedia: Wikipedia Kodaira embedding theorem, Kodaira embedding theorem (statement). Also Wikidata Q6425088

History

2026-10-26: add by m2/dev

JJ7C8MAKY7 JJ7C8MAKY7

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-1.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 2.1

History

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

JJ7JABPKYD JJ7JABPKYD

URI	`m2://inv/JJ7JABPKYD`
Kind	statement
Layer	research
MSC	35-XX, 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 2610.01653#70LF (statement). In WZMHJCQPB2/e1, lemma 5.3

History

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

Properties JJ7MMEXBQV

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

Mentions

wikipedia: Wikipedia Sigmoid function#R2Q2, Properties (statement)

History

2026-11-02: add by m2/dev

JJ7MYK8ZH5 JJ7MYK8ZH5

URI	`m2://inv/JJ7MYK8ZH5`
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.07963#AH8W (statement). In HAGJKEZ1CK/e1, theorem 7.12

History

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

JJ7W7P5AH4 JJ7W7P5AH4

URI	`m2://inv/JJ7W7P5AH4`
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.37489#LTLA (statement). In 5ZC91T5PHQ/e1, lemma

History

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

Goodnight Scholars Program JJ7YFA0P4Q

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

Mentions

wikipedia: Wikipedia James Goodnight#OR1H, Goodnight Scholars Program (unknown)

History

2026-11-02: add by m2/dev

JJ7ZZYSKW0 JJ7ZZYSKW0

URI	`m2://inv/JJ7ZZYSKW0`
Kind	statement
Layer	research
MSC	16-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 2507.20176#1GCL (statement). In CX4WDA2KAR/e1, lemma 4.5

History

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

JJ82491N0F JJ82491N0F

URI	`m2://inv/JJ82491N0F`
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.01737#YV88 (statement). In M4JGP708F4/e1, lemma 3.20

History

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

Definitions JJ82EP3AP8

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

Mentions

wikipedia: Wikipedia Generalized logistic distribution#DK8B, Definitions (definition)

History

2026-11-02: add by m2/dev

JJ82RVT0R5 JJ82RVT0R5

URI	`m2://inv/JJ82RVT0R5`
Kind	statement
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.20466#5PDK (statement). In M4ZVJWM8YA/e1, theorem 6.10

History

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

Heath, McCourt, Parker, Schwieder, Zerbib JJ87B9WYNH

URI	`m2://inv/JJ87B9WYNH`
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.27157#IISG, Heath, McCourt, Parker, Schwieder, Zerbib (statement)

History

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

doubling constant JJ8BJ6WPKD

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

Mentions

mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > doubling constant, doubling constant (unknown). Also Mathlib Finset.addConst

History

2026-10-26: add by m2/dev

JJ8FZ2RW0W JJ8FZ2RW0W

URI	`m2://inv/JJ8FZ2RW0W`
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 2609.21914#O86K (statement)

History

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

Wick ordering JJ8HRBG3J3

URI	`m2://inv/JJ8HRBG3J3`
Kind	definition
Layer	research
MSC	35-XX, 47-XX, 58-XX, 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.17815#7172, Wick ordering (definition). In GJ7N2EWACX/e1, definition B.1

History

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

JJ8KJ70A56 JJ8KJ70A56

URI	`m2://inv/JJ8KJ70A56`
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 2605.30285#WQOI (statement). In YMY0NNSM27/e1, theorem 6.3

History

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

Counterexample to snake lemma with categorical cokernel JJ8MNPM4HM

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

Mentions

wikipedia: Wikipedia Snake lemma#79GH, Counterexample to snake lemma with categorical cokernel (counterexample)

History

2026-11-02: add by m2/dev

JJ8MSJ7BYA JJ8MSJ7BYA

URI	`m2://inv/JJ8MSJ7BYA`
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.07445#2OAC (statement). In F1BM3Q8125/e1, theorem 3.7

History

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

JJ8N39J056 JJ8N39J056

URI	`m2://inv/JJ8N39J056`
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.16554#JRAY (statement). In GWNT8HEZG1/e1, corollary 4.4

History

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

JJ8QYH7TBP JJ8QYH7TBP

URI	`m2://inv/JJ8QYH7TBP`
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.02061#VO3C (statement). In F5STMSPR6X/e1, lemma 3.22

History

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

Daniel Zelinsky JJ8TQQF0T6

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

Mentions

wikipedia: Wikipedia Daniel Zelinsky (mathematician), Daniel Zelinsky (topic). Also Wikidata Q55465465

History

2026-11-02: add by m2/dev

Applications JJ93BYAASF

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

Mentions

wikipedia: Wikipedia Lifting scheme#U28X, Applications (example)

History

2026-11-02: add by m2/dev

Chains represent exactly the NDLCFs JJ9AX02QFS

URI	`m2://inv/JJ9AX02QFS`
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.29597#U5BU, Chains represent exactly the NDLCFs (statement)

History

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

Frenet–Serret formulas for plane curves JJ9CBHJDQ3

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

Mentions

wikipedia: Wikipedia Curvature#X8MQ, Frenet–Serret formulas for plane curves (statement)

History

2026-11-02: add by m2/dev

Gell-Mann matrices JJ9GZGZPWA

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

Mentions

wikipedia: Wikipedia List of named matrices#WLA9, Gell-Mann matrices (definition)

History

2026-11-02: add by m2/dev

Event study JJ9KS7EVHG

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

Mentions

wikipedia: Wikipedia Event study, Event study (definition). Also Wikidata Q1002530

History

2026-11-02: add by m2/dev

Examples JJ9M3J4TFB

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

Mentions

wikipedia: Wikipedia Ramanujan–Sato series#MA96, Examples (example)

History

2026-11-02: add by m2/dev

JJ9RJ8JQXV JJ9RJ8JQXV

URI	`m2://inv/JJ9RJ8JQXV`
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 2609.31278#ZQ6Z (statement). In KEP21CZFV9/e1, lemma #1

History

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

Local approximation JJ9TMVANCR

URI	`m2://inv/JJ9TMVANCR`
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.01504#E84Q, Local approximation (statement). In JAVB10Q2YZ/e1, lemma 4.7

History

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

Generalizations JJ9TN0PYYA

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

Mentions

wikipedia: Wikipedia Dinitz theorem#8FBO, Generalizations (statement)

History

2026-11-02: add by m2/dev

JJA2JEP9XF JJA2JEP9XF

URI	`m2://inv/JJA2JEP9XF`
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.23617#Z2UN (statement)

History

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

Evgeny Lifshitz JJA6K18T7F

URI	`m2://inv/JJA6K18T7F`
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 Q931452, Evgeny Lifshitz (unknown). Also nLab Evgeny Lifshitz

History

2026-10-26: add by m2/dev

JJA7VFA8QX JJA7VFA8QX

URI	`m2://inv/JJA7VFA8QX`
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.17759#C8PZ (statement). In 7MWKMG2V8A/e1, lemma 4.3

History

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

Clifford Truesdell JJAAMJMFGQ

URI	`m2://inv/JJAAMJMFGQ`
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 Q950146, Clifford Truesdell (unknown). Also nLab Clifford Truesdell

History

2026-10-26: add by m2/dev

Generalizations JJAFK9GE7S

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

Mentions

wikipedia: Wikipedia Uniformization theorem#J47G, Generalizations (statement)

History

2026-11-02: add by m2/dev

Well-Ordering JJAJ2VJR23

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

Mentions

open_logic: open_logic content/set-theory/cardinals/cardsasords.tex#axiom-1, Well-Ordering (statement). In PKGMM3P5QY, axiom, section 70.1

History

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

Howard L. Resnikoff JJAWE7YAM6

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

Mentions

wikipedia: Wikipedia Howard L. Resnikoff, Howard L. Resnikoff (topic). Also Wikidata Q53700419

History

2026-11-02: add by m2/dev

Toda system with improved error JJB227WPV0

URI	`m2://inv/JJB227WPV0`
Kind	statement
Layer	research
MSC	35-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 2609.32829#2C9X, Toda system with improved error (statement). In RYWAX33Z51/e1, corollary 8.3

History

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

Tensor product of quadratic forms JJB4CKQ3EP

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

Mentions

wikipedia: Wikipedia Tensor product of quadratic forms, Tensor product of quadratic forms (definition). Also Wikidata Q7700715

History

2026-11-02: add by m2/dev

Rigidity of GOE eigenvalues JJB9Y2M0KV

URI	`m2://inv/JJB9Y2M0KV`
Kind	statement
Layer	research
MSC	60-XX, 62-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.28781#FTTO, Rigidity of GOE eigenvalues (statement)

History

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

Trace-powered Morrey--Sobolev gain JJBHRADVGH

URI	`m2://inv/JJBHRADVGH`
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.00292#AS5M, Trace-powered Morrey--Sobolev gain (statement). In NX3EFW0D0X/e1, corollary 5.4

History

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

JJBNBBE5T7 JJBNBBE5T7

URI	`m2://inv/JJBNBBE5T7`
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.35642#T7F8 (statement). In D905BX98TP/e1, proposition 3.6

History

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

Spitzer's identity JJBPN1RHQ0

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

Mentions

wikipedia: Wikipedia Rota–Baxter algebra#CD2U, Spitzer's identity (statement)

History

2026-11-02: add by m2/dev

Applications JJBQW26382

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

Mentions

wikipedia: Wikipedia Bhattacharyya distance#V3PM, Applications (example)

History

2026-11-02: add by m2/dev

Fourier transform JJBV1DF4WE

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#RY6E, Fourier transform (definition)

History

2026-11-02: add by m2/dev

JJBVA1K61M JJBVA1K61M

URI	`m2://inv/JJBVA1K61M`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 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.35229#4NR4 (statement). In XBAXW1YBAK/e1, lemma 4.4

History

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

JJC1SSGKHD JJC1SSGKHD

URI	`m2://inv/JJC1SSGKHD`
Kind	definition
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 2610.21092#X05U (definition). In AGJE43FTF8/e1, definition 4.1

History

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

JJC1TMF4F7 JJC1TMF4F7

URI	`m2://inv/JJC1TMF4F7`
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.03568#R9DP (statement). In TGNKGP0XNY/e1, theorem 5.1

History

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

JJCG9X196V JJCG9X196V

URI	`m2://inv/JJCG9X196V`
Kind	statement
Layer	research
MSC	55-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.02244#LFDK (statement). In 3REM2EXQK7/e1, theorem

History

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

Schnirelmann density JJCNHRZBT2

URI	`m2://inv/JJCNHRZBT2`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	open
Node	Schnirelmann density QHH8RY9XCZ

Mentions

mathlib_1000: mathlib_1000 Q2482753, Mann's theorem (statement). Also Wikidata Q2482753
thousand_plus: thousand_plus Q2482753, Mann's theorem (statement). Also Wikidata Q2482753, Wikipedia Mann's theorem
wikidata: Wikidata Q2482753, Schnirelmann density (concept). Also MathWorld SchnirelmannDensity
wikipedia: Wikipedia Schnirelmann density, Schnirelmann density (definition). Also Wikidata Q2482753

History

2026-10-26: add by m2/dev

Properties JJCQH52228

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

Mentions

wikipedia: Wikipedia Stirling numbers of the second kind#OL40, Properties (statement)

History

2026-11-02: add by m2/dev

$C^{(k,l),\alpha}$-regular maps JJCQM7EKJP

URI	`m2://inv/JJCQM7EKJP`
Kind	definition
Layer	research
MSC	53-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.11911#ID7A, $C^{(k,l),\alpha}$-regular maps (definition). In 5BYE5NYB89/e1, definition 2.1

History

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

Algorithm JJCVEN6QX7

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

Mentions

wikipedia: Wikipedia Odd–even sort#62YM, Algorithm (definition)

History

2026-11-02: add by m2/dev

Lifting scheme JJD1J2MGHB

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

Mentions

wikipedia: Wikipedia List of wavelet-related transforms#BVYO, Lifting scheme (definition)

History

2026-11-02: add by m2/dev

JJD648EGDK JJD648EGDK

URI	`m2://inv/JJD648EGDK`
Kind	definition
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#1O0G (definition). In WRE0P7V6Z3/e1, definition D.12

History

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

UPGMA JJD7567X0D

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

Mentions

wikipedia: Wikipedia UPGMA, UPGMA (definition). Also Wikidata Q1779497

History

2026-11-02: add by m2/dev

Topological K-theory JJD92728WP

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#FI6F, Topological K-theory (definition)

History

2026-11-02: add by m2/dev

Refined McKay Problem for Sporadic Covers JJDFSYGAKX

URI	`m2://inv/JJDFSYGAKX`
Kind	problem
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 2609.27042#8DDR, Refined McKay Problem for Sporadic Covers (problem)

History

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

Plateau's laws JJDH3VNEE8

URI	`m2://inv/JJDH3VNEE8`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Plateau's laws 381RB634WS

Mentions

wikidata: Wikidata Q1974553, Plateau's laws (unknown). Also MathWorld PlateausLaws
wikipedia: Wikipedia Plateau's laws, Plateau's laws (statement). Also Wikidata Q1974553

History

2026-10-26: add by m2/dev

Dmitry Khovratovich JJDPHS49PZ

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

Mentions

wikipedia: Wikipedia Dmitry Khovratovich, Dmitry Khovratovich (topic). Also Wikidata Q58007880

History

2026-11-02: add by m2/dev

JJDSQAJ0R7 JJDSQAJ0R7

URI	`m2://inv/JJDSQAJ0R7`
Kind	example
Layer	research
MSC	05-XX, 20-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.04305#PBEI (example). In Y1DR0DPWD0/e1, example 3.3

History

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

JJDSQAR9Y6 JJDSQAR9Y6

URI	`m2://inv/JJDSQAR9Y6`
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.30823#X9ZD (statement). In 1YHQ9YNQ68/e1, lemma 3.4

History

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

JJDSR3GZY5 JJDSR3GZY5

URI	`m2://inv/JJDSR3GZY5`
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#WAPH (statement). In S8NB83KQX3/e1, lemma 10

History

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

Performance difference lemma JJE33XZWVN

URI	`m2://inv/JJE33XZWVN`
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.39837#EPD8, Performance difference lemma (statement). In MDQXTBEK0F/e1, lemma 2.2

History

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

Projective symplectic group JJE5P5J3XK

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

Mentions

wikipedia: Wikipedia Classical group#2M1S, Projective symplectic group (unknown)

History

2026-11-02: add by m2/dev

JJE8R5YJZ1 JJE8R5YJZ1

URI	`m2://inv/JJE8R5YJZ1`
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 2311.03011#2LNT (statement). In 776A3XQTTM/e1, proposition 2

History

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

$(G, X)$-modules JJEJ24E9HB

URI	`m2://inv/JJEJ24E9HB`
Kind	definition
Layer	research
MSC	11-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.15432#GVGT, $(G, X)$-modules (definition). In D1DFM4WYEW/e1, definition 5.1

History

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

The oscillatory escape: the dichotomy fails under lacunary anchor concentration JJEMY9VWC8

URI	`m2://inv/JJEMY9VWC8`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX, 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.00295#J2RX, The oscillatory escape: the dichotomy fails under lacunary anchor concentration (statement). In 7HXP270BD0/e1, theorem 3.15

History

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

Observed information JJES6XWRR9

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

Mentions

wikipedia: Wikipedia Observed information, Observed information (definition). Also Wikidata Q7075478

History

2026-11-02: add by m2/dev

JJF12BJM3W JJF12BJM3W

URI	`m2://inv/JJF12BJM3W`
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.03628#T5QY (statement). In P8KT6JV9N1/e1, theorem 3

History

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

Markov's inequality JJF532Z6EX

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#60IA, Markov's inequality (statement)
wikipedia: Wikipedia List of statistics articles#KMJ2, Markov's inequality (statement)
wikipedia: Wikipedia List of probability topics#2N0O, Markov's inequality (statement)
wikipedia: Wikipedia List of inequalities#203L, Markov's inequality (statement)

History

2026-11-02: add by m2/dev

List of common misconceptions about science, technology, and mathematics JJF5JZBR0M

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics, List of common misconceptions about science, technology, and mathematics (topic). Also Wikidata Q131735709

History

2026-11-02: add by m2/dev

McCarthy Formalism JJF6JKPF57

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

Mentions

wikipedia: Wikipedia McCarthy Formalism, McCarthy Formalism (definition). Also Wikidata Q6800189

History

2026-11-02: add by m2/dev

Definition JJFK6WHS1J

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

Mentions

wikipedia: Wikipedia Cylinder set measure#MQCZ, Definition (definition)

History

2026-11-02: add by m2/dev

JJFX6EYBM3 JJFX6EYBM3

URI	`m2://inv/JJFX6EYBM3`
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 2610.08935#3375 (statement). In G02N9D40B9/e1, lemma 4.3.4

History

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

Examples JJFY8E6DCY

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

Mentions

wikipedia: Wikipedia Configuration space (physics)#M5RG, Examples (example)

History

2026-11-02: add by m2/dev

JJG2HTVTWZ JJG2HTVTWZ

URI	`m2://inv/JJG2HTVTWZ`
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 2410.16036#PBGY (statement). In S1T3VFXE05/e1, proposition 4.1

History

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

Examples JJG45D1RHG

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

Mentions

wikipedia: Wikipedia Higher local field#N296, Examples (example)

History

2026-11-02: add by m2/dev

Gaussian domination JJG88YY9M3

URI	`m2://inv/JJG88YY9M3`
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.29671#XGSA, Gaussian domination (statement)

History

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

Variable exponent Morrey estimate for the Riesz potential JJGBSA01JT

URI	`m2://inv/JJGBSA01JT`
Kind	statement
Layer	research
MSC	35-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 2610.08253#BD87, Variable exponent Morrey estimate for the Riesz potential (statement). In 6AD2CTF0QF/e1, corollary 2.17

History

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

JJGP4GZXPH JJGP4GZXPH

URI	`m2://inv/JJGP4GZXPH`
Kind	example
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 2409.20170#25T6 (example). In QXJP79APHN/e1, example 3.11

History

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

Characteristic JJGRAX75RV

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

Mentions

wikipedia: Wikipedia Glossary of field theory#D523, Characteristic (definition)

History

2026-11-02: add by m2/dev

Heartbeat network JJGWG073GS

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

Mentions

wikipedia: Wikipedia Heartbeat (computing)#PP9Y, Heartbeat network (unknown)

History

2026-11-02: add by m2/dev

group homomorphism JJGY7QTXXR

URI	`m2://inv/JJGY7QTXXR`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Group homomorphism 0HV9Y7WG5R

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > group morphism, group morphism (unknown). Also Mathlib MonoidHom
mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > group morphism, group morphism (unknown). Also Mathlib MonoidHom
wikidata: Wikidata Q868169, group homomorphism (definition). Also Mathlib MonoidHom, MathWorld GroupHomomorphism, ProofWiki Definition:Group_Homomorphism
wikipedia: Wikipedia Group homomorphism, Group homomorphism (definition). Also Wikidata Q868169

History

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

JJH0HFE2ZQ JJH0HFE2ZQ

URI	`m2://inv/JJH0HFE2ZQ`
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.29531#CM60 (statement)

History

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

JJH58ZQZ8M JJH58ZQZ8M

URI	`m2://inv/JJH58ZQZ8M`
Kind	definition
Layer	research
MSC	54-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 2609.24545#ROEF (definition)

History

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

JJH9F56ACC JJH9F56ACC

URI	`m2://inv/JJH9F56ACC`
Kind	definition
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.33018#BY1P (definition). In 8XVS0QJ2AH/e1, definition 42

History

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

JJH9G9ES3R JJH9G9ES3R

URI	`m2://inv/JJH9G9ES3R`
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.18329#8972 (statement). In 3VWEPEFHN3/e1, theorem 3.10

History

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

JJHC3GDGT5 JJHC3GDGT5

URI	`m2://inv/JJHC3GDGT5`
Kind	statement
Layer	research
MSC	35-XX, 46-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 2610.06645#UFN3 (statement). In 79H1DEK4M9/e1, theorem 4.2

History

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

XOR expansion JJHKAYDC7D

URI	`m2://inv/JJHKAYDC7D`
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.09341#FKDR, XOR expansion (statement). In DSXBMRYE0V/e1, lemma A.1

History

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

JJHPBX235C JJHPBX235C

URI	`m2://inv/JJHPBX235C`
Kind	statement
Layer	research
MSC	14-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.36509#KB3K (statement). In DPJ15KW23C/e1, proposition 9.4

History

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

JJHR7QSK8K JJHR7QSK8K

URI	`m2://inv/JJHR7QSK8K`
Kind	statement
Layer	research
MSC	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.21892#874I (statement)

History

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

JJHS6FTW4S JJHS6FTW4S

URI	`m2://inv/JJHS6FTW4S`
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.04165#L1J9 (statement). In PKN283MHF8/e1, lemma 2.2

History

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

Miller JJHTWMMNBB

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#0VKM, Miller (unknown)

History

2026-11-02: add by m2/dev

Uses JJHWYZJAPJ

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

Mentions

wikipedia: Wikipedia Repeated measures design#KNAV, Uses (example)

History

2026-11-02: add by m2/dev

Applications JJJM3BY39D

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

Mentions

wikipedia: Wikipedia Doubling space#U237, Applications (example)

History

2026-11-02: add by m2/dev

JJJSY5Y3NY JJJSY5Y3NY

URI	`m2://inv/JJJSY5Y3NY`
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.17717#JUZQ (statement). In YXRKS451PK/e1, lemma 5.4

History

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

Finite model theory JJJWAS9EJP

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#8TTT, Finite model theory (topic)

History

2026-11-02: add by m2/dev

JJJYHVN8GM JJJYHVN8GM

URI	`m2://inv/JJJYHVN8GM`
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.02484#YXN6 (statement). In D1V0MQZTFQ/e1, proposition 4.6

History

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

Euler–Poincaré characteristic JJK10EKHYY

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#WJH5, Euler–Poincaré characteristic (definition)

History

2026-11-02: add by m2/dev

JJK1CRM27R JJK1CRM27R

URI	`m2://inv/JJK1CRM27R`
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.30760#LEWT (statement). In MMVNRRE7N0/e1, lemma 7.1

History

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

Domination Elliptic Sombor Index JJK1VN0754

URI	`m2://inv/JJK1VN0754`
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 2610.10221#569I, Domination Elliptic Sombor Index (definition). In 9Z5M655EPV/e1, definition 2.6

History

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

JJK2JZCCFT JJK2JZCCFT

URI	`m2://inv/JJK2JZCCFT`
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.22218#ALCY (statement). In 338GKREFVP/e1, theorem 22

History

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

Medicine JJK30RFYK4

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#E9IP, Medicine (unknown)

History

2026-11-02: add by m2/dev

Methods JJK5F09ARJ

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

Mentions

wikipedia: Wikipedia Surrogate data testing#9IAW, Methods (definition)

History

2026-11-02: add by m2/dev

Communications in Mathematical Physics JJK5MV1X0T

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

Mentions

wikipedia: Wikipedia Communications in Mathematical Physics, Communications in Mathematical Physics (definition). Also Wikidata Q649743

History

2026-11-02: add by m2/dev

JJK8910BA8 JJK8910BA8

URI	`m2://inv/JJK8910BA8`
Kind	definition
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 2610.13680#BBBY (definition). In QNBFHFZ3H0/e1, definition

History

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

JJK9ER9ZCW JJK9ER9ZCW

URI	`m2://inv/JJK9ER9ZCW`
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 2512.08487#I6YC (statement). In 77TVQVYN0Z/e1, lemma 15

History

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

JJK9HQBP2F JJK9HQBP2F

URI	`m2://inv/JJK9HQBP2F`
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.18329#2POQ (statement). In 3VWEPEFHN3/e1, corollary 3.7

History

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

JJKAMZ6YRN JJKAMZ6YRN

URI	`m2://inv/JJKAMZ6YRN`
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.13741#SKQC (statement). In Q43F8N7XDE/e1, proposition 4.6

History

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

Fermat 2-power JJKBP4KBVX

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

Mentions

wikipedia: Wikipedia Power of two#S8GF, Fermat 2-power (unknown)

History

2026-11-02: add by m2/dev

Adriana Garroni JJKHNPTHEE

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

Mentions

wikipedia: Wikipedia Adriana Garroni, Adriana Garroni (topic). Also Wikidata Q102307010

History

2026-11-02: add by m2/dev

Ulrich W. Kulisch JJKVEWNEVZ

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#0LLX, Ulrich W. Kulisch (topic)

History

2026-11-02: add by m2/dev

JJM2NZTNQV JJM2NZTNQV

URI	`m2://inv/JJM2NZTNQV`
Kind	statement
Layer	research
MSC	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.36113#LDID (statement). In FSGSVD0XYH/e1, lemma 7

History

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

JJM39W2F4M JJM39W2F4M

URI	`m2://inv/JJM39W2F4M`
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.29918#EGL3 (statement)

History

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

Generalizations JJM3XP27KT

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

Mentions

wikipedia: Wikipedia Maximum-entropy random graph model#941H, Generalizations (statement)

History

2026-11-02: add by m2/dev

Survival rate JJMBVJMRDH

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

Mentions

wikipedia: Wikipedia Survival rate, Survival rate (definition). Also Wikidata Q332823

History

2026-11-02: add by m2/dev

Exchange Principle JJMGFR8BC7

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#prop_graphalgorithms_exchange, Exchange Principle (statement). In QKM9DD2H56, proposition, section 12.1.1

History

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

JJMGWZAMHD JJMGWZAMHD

URI	`m2://inv/JJMGWZAMHD`
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.14985#XHEV (statement). In DGXJW3SCBR/e1, proposition 47

History

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

Two Wells, South Australia JJMSABKK2A

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

Mentions

wikipedia: Wikipedia List of places with numeric names#NXD7, Two Wells, South Australia (unknown)

History

2026-11-02: add by m2/dev

united point JJN0EKMC8A

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#802M, united point (definition)

History

2026-11-02: add by m2/dev

Anthony Scholl JJNEJR56SG

URI	`m2://inv/JJNEJR56SG`
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 Q2653346, Anthony Scholl (unknown). Also nLab Anthony Scholl

History

2026-10-26: add by m2/dev

Mihalis Yannakakis JJNRD0Q7GN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#C9PY, Mihalis Yannakakis (unknown)

History

2026-11-02: add by m2/dev

convex function JJP69AK3YK

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

Mentions

lebl_scv: lebl_scv index/2.4/convex-function, convex function (concept). In VNMV985MXX, index, section 2.4

History

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

Stone–Weierstrass theorem (locally compact spaces) JJPE0APRAB

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

Mentions

wikipedia: Wikipedia Stone–Weierstrass theorem#G8KW, Stone–Weierstrass theorem (locally compact spaces) (statement)

History

2026-11-02: add by m2/dev

JJPH8C4ZG7 JJPH8C4ZG7

URI	`m2://inv/JJPH8C4ZG7`
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 2610.11965#BU3D (statement). In 48QX0QD0XR/e1, theorem 7.10

History

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

Characterizations JJPM6A3JPD

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

Mentions

wikipedia: Wikipedia Archimedean ordered vector space#QYPK, Characterizations (statement)

History

2026-11-02: add by m2/dev

Modularity JJPPKEHF7H

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

Mentions

wikipedia: Wikipedia Modularity (networks), Modularity (definition). Also Wikidata Q2006678

History

2026-11-02: add by m2/dev

Examples JJPQZ6K1KH

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

Mentions

wikipedia: Wikipedia Old quantum theory#DR6T, Examples (example)

History

2026-11-02: add by m2/dev

Victor-Amédée Lebesgue JJPS2RKP6Y

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

Mentions

wikipedia: Wikipedia Victor-Amédée Lebesgue, Victor-Amédée Lebesgue (topic). Also Wikidata Q17423526

History

2026-11-02: add by m2/dev

paraconsistent logic JJPZS4PD60

URI	`m2://inv/JJPZS4PD60`
Kind	definition
Layer	textbook
MSC	03B53
Sources	2
Outcome	open
Node	Paraconsistent logic C7YWCR87QJ

Mentions

wikidata: Wikidata Q426592, paraconsistent logic (topic). Also nLab paraconsistent logic
wikipedia: Wikipedia Paraconsistent logic, Paraconsistent logic (definition). Also Wikidata Q426592

History

2026-10-26: add by m2/dev

Uses of trigonometry JJQ2NV03CQ

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

Mentions

wikipedia: Wikipedia List of triangle topics#SLDB, Uses of trigonometry (definition)

History

2026-11-02: add by m2/dev

Statement JJQHFT2JPE

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

Mentions

wikipedia: Wikipedia Saito–Kurokawa lift#76LZ, Statement (statement)

History

2026-11-02: add by m2/dev

JJQY30AHTW JJQY30AHTW

URI	`m2://inv/JJQY30AHTW`
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.05582#EDC9 (statement). In 9X4TANWWWR/e1, lemma 3.2

History

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

JJR2T7AW50 JJR2T7AW50

URI	`m2://inv/JJR2T7AW50`
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 2609.29450#7CPO (statement)

History

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

Applications JJR349KQAJ

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

Mentions

wikipedia: Wikipedia Final value theorem#JKPA, Applications (example)

History

2026-11-02: add by m2/dev

Stallings theorem about ends of groups JJR5KFGZT8

URI	`m2://inv/JJR5KFGZT8`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q7597316, Stallings theorem about ends of groups (statement). Also Wikidata Q7597316
thousand_plus: thousand_plus Q7597316, Stallings theorem about ends of groups (statement). Also Wikidata Q7597316, Wikipedia Stallings theorem about ends of groups
wikipedia: Wikipedia Stallings theorem about ends of groups, Stallings theorem about ends of groups (statement). Also Wikidata Q7597316

History

2026-10-26: add by m2/dev

JJRB13TPZY JJRB13TPZY

URI	`m2://inv/JJRB13TPZY`
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.13846#XMYE (statement). In DN3HGHGRYJ/e1, proposition 3.4

History

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

Definition JJRBVK4WPJ

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

Mentions

wikipedia: Wikipedia Ext functor#OQQJ, Definition (definition)

History

2026-11-02: add by m2/dev

Cheng Hsiao JJRJ6XHBK8

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

Mentions

wikipedia: Wikipedia Cheng Hsiao, Cheng Hsiao (topic). Also Wikidata Q30069133

History

2026-11-02: add by m2/dev

JJS9E0K56S JJS9E0K56S

URI	`m2://inv/JJS9E0K56S`
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 2610.12736#9FZW (statement). In 5350Q52F6P/e1, proposition 10.3

History

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

Füredi, 1981 JJSAFMR17T

URI	`m2://inv/JJSAFMR17T`
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.09810#W6T6, Füredi, 1981 (statement). In B6PCH930FV/e1, theorem 15

History

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

R. P. Langlands JJSB00YPKH

URI	`m2://inv/JJSB00YPKH`
Kind	topic
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#J7B3, R. P. Langlands (topic)

History

2026-11-02: add by m2/dev

Definitions JJSDXPM8WE

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

Mentions

wikipedia: Wikipedia Zernike polynomials#OP3B, Definitions (definition)

History

2026-11-02: add by m2/dev

eigenvalue, dominant JJSF2A97HX

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

Mentions

austin_ula: austin_ula index/5.2.2/eigenvalue-dominant, eigenvalue, dominant (concept). In 649HGZKE96, index, section 5.2.2

History

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

Non-linear JJSPJ6JPQB

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

Mentions

wikipedia: Wikipedia Ordinary differential equation#INOX, Non-linear (definition)

History

2026-11-02: add by m2/dev

Icositetragon JJT04QMGV5

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OD50, Icositetragon (definition)

History

2026-11-02: add by m2/dev

Definition JJTAAMYYH4

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

Mentions

wikipedia: Wikipedia Minimax estimator#OW1L, Definition (definition)

History

2026-11-02: add by m2/dev

JJTN10QCE6 JJTN10QCE6

URI	`m2://inv/JJTN10QCE6`
Kind	example
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#IRDO (example). In BCD0ATARNZ/e1, example 3.27

History

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

Plancherel and L2 Fourier inversion theorems JJTN6Y8RM4

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

Mentions

wikipedia: Wikipedia Pontryagin duality#2VMK, Plancherel and L2 Fourier inversion theorems (statement)

History

2026-11-02: add by m2/dev

Nash equilibrium JJTNW90HGB

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

Mentions

wikidata: Wikidata Q23389, Nash equilibrium (unknown). Also MathWorld NashEquilibrium, nLab Nash equilibrium
wikipedia: Wikipedia Nash equilibrium, Nash equilibrium (definition). Also Wikidata Q23389

History

2026-10-26: add by m2/dev

JJTRK0DHYD JJTRK0DHYD

URI	`m2://inv/JJTRK0DHYD`
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.36811#M83O (statement). In ZQDX8E43SQ/e1, theorem 3.2

History

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

Pauli exclusion principle JJTYQSBGMZ

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

Mentions

wikidata: Wikidata Q131594, Pauli exclusion principle (unknown). Also nLab Pauli exclusion principle
wikipedia: Wikipedia Pauli exclusion principle, Pauli exclusion principle (statement). Also Wikidata Q131594

History

2026-10-26: add by m2/dev

Modelling lemma JJV06CZK40

URI	`m2://inv/JJV06CZK40`
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 1806.05002#XWUF, Modelling lemma (statement). In JBAQ7DTW7B/e1, proposition 14.1

History

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

Resolution theorem JJV2WQ88H5

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

Mentions

wikipedia: Wikipedia Basic theorems in algebraic K-theory#1FK4, Resolution theorem (statement)

History

2026-11-02: add by m2/dev

JJV620TJ8H JJV620TJ8H

URI	`m2://inv/JJV620TJ8H`
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.15489#TS2J (statement). In 5BCTP0B6Q1/e1, theorem B

History

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

Hilbert's theorem JJV8R9TGH8

URI	`m2://inv/JJV8R9TGH8`
Kind	statement
Layer	textbook
MSC	53-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q2008549, Hilbert's theorem (differential geometry) (statement). Also Wikidata Q2008549
thousand_plus: thousand_plus Q2008549, Hilbert's theorem (statement). Also Wikidata Q2008549, Wikipedia Hilbert's theorem (differential geometry)
wikipedia: Wikipedia Hilbert's theorem (differential geometry), Hilbert's theorem (statement). Also Wikidata Q2008549

History

2026-10-26: add by m2/dev

Finite-population batch moments and relative scale JJVJ4TVCMJ

URI	`m2://inv/JJVJ4TVCMJ`
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#PYZX, Finite-population batch moments and relative scale (statement). In TTEAQA1XXR/e1, lemma E.1

History

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

JJVNQW2XZJ JJVNQW2XZJ

URI	`m2://inv/JJVNQW2XZJ`
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.22847#8GUA (statement)

History

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

JJVWYQJBKB JJVWYQJBKB

URI	`m2://inv/JJVWYQJBKB`
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 2509.05577#8DRV (statement). In EFWBREMZAP/e1, corollary 3.10

History

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

Definition JJVX2HQ1JB

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

Mentions

wikipedia: Wikipedia Differential Galois theory#PYDQ, Definition (definition)

History

2026-11-02: add by m2/dev

Definition JJW16V90DW

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

Mentions

wikipedia: Wikipedia Pearson correlation coefficient#1AKV, Definition (definition)

History

2026-11-02: add by m2/dev

Mean value theorem for vector-valued functions JJW4SJN2HQ

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

Mentions

wikipedia: Wikipedia Mean value theorem#HWR8, Mean value theorem for vector-valued functions (statement)

History

2026-11-02: add by m2/dev

Mary E. Thompson JJWA7W39J8

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#88ZK, Mary E. Thompson (topic)

History

2026-11-02: add by m2/dev

Kripke's theory of truth JJWGJNF5G2

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

Mentions

wikipedia: Wikipedia Semantic theory of truth#2CGT, Kripke's theory of truth (unknown)

History

2026-11-02: add by m2/dev

Poincaré–Steklov operator JJWHXXS21G

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#KQ24, Poincaré–Steklov operator (definition)

History

2026-11-02: add by m2/dev

JJWX5SJRZM JJWX5SJRZM

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

Mentions

napkin: napkin tex/homology/singular.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 55.3.1

History

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

Definition JJWX6FP4WE

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

Mentions

wikipedia: Wikipedia Holomorphic tangent bundle#XNVB, Definition (definition)

History

2026-11-02: add by m2/dev

GCLC JJWYJXK7D8

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#KNPQ, GCLC (unknown)

History

2026-11-02: add by m2/dev

Lecuire JJX23J6G6C

URI	`m2://inv/JJX23J6G6C`
Kind	definition
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 2609.29450#9HF7, Lecuire (definition)

History

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

Pemdas method JJX89MEGN9

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#2OLD, Pemdas method (definition)

History

2026-11-02: add by m2/dev

Definition JJX8SV41EK

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

Mentions

wikipedia: Wikipedia Fuzzy set#BCRS, Definition (definition)

History

2026-11-02: add by m2/dev

JJX98Z2ZYP JJX98Z2ZYP

URI	`m2://inv/JJX98Z2ZYP`
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 2405.10580#K679 (definition). In FXEJE0PWEP/e1, definition 5.1

History

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

Chapman–Kolmogorov equation JJXAGY73HH

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

Mentions

wikipedia: Wikipedia List of statistics articles#UR3H, Chapman–Kolmogorov equation (definition)
wikipedia: Wikipedia List of probability topics#2N0S, Chapman–Kolmogorov equation (definition)

History

2026-11-02: add by m2/dev

DAP JJXDW72F0E

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

Mentions

wikipedia: Wikipedia DAP (software), DAP (definition). Also Wikidata Q5204274

History

2026-11-02: add by m2/dev

JJXGREWRGD JJXGREWRGD

URI	`m2://inv/JJXGREWRGD`
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 2605.00407#IOA2 (statement). In TVFD0G3F2W/e1, proposition 2.4

History

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

JJXHBEWM8W JJXHBEWM8W

URI	`m2://inv/JJXHBEWM8W`
Kind	definition
Layer	research
MSC	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 2510.12502#HPBN (definition). In 3A4K47Y9F2/e1, definition 3.23

History

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

Properties JJXKK9YSHJ

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

Mentions

wikipedia: Wikipedia Hopfian group#NFJ3, Properties (statement)

History

2026-11-02: add by m2/dev

JJY2EDA6RP JJY2EDA6RP

URI	`m2://inv/JJY2EDA6RP`
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 2609.21403#SM1T (definition)

History

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

Bass–Serre theory JJYM1XNDHY

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

Mentions

wikipedia: Wikipedia Bass–Serre theory, Bass–Serre theory (definition). Also Wikidata Q4868208

History

2026-11-02: add by m2/dev

JJYSR57VVX JJYSR57VVX

URI	`m2://inv/JJYSR57VVX`
Kind	statement
Layer	research
MSC	35-XX, 37-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 1503.05744#FC8R (statement). In 5XKHZKEGAF/e1, theorem 6.1

History

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

Weak duality JJYV7K2AKV

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

Mentions

wikipedia: Wikipedia Weak duality, Weak duality (definition). Also Wikidata Q7977943

History

2026-11-02: add by m2/dev

Li Ye JJYYPN549C

URI	`m2://inv/JJYYPN549C`
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 Q716964, Li Ye (unknown). Also ProofWiki Mathematician:Li_Ye
wikipedia: Wikipedia Li Ye (mathematician), Li Ye (topic). Also Wikidata Q716964

History

2026-10-26: add by m2/dev

JJZDTW5JDP JJZDTW5JDP

URI	`m2://inv/JJZDTW5JDP`
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 math/9908107#QER7 (statement). In Z69NDB0XM9/e1, theorem

History

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

Properties JJZE01027B

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

Mentions

wikipedia: Wikipedia Rectangle#WRQA, Properties (statement)

History

2026-11-02: add by m2/dev

Generalized continuum hypothesis JJZH2KJG37

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#NFLC, Generalized continuum hypothesis (statement)

History

2026-11-02: add by m2/dev

JJZJ7ZW3SW JJZJ7ZW3SW

URI	`m2://inv/JJZJ7ZW3SW`
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.02893#XB7R (statement). In DQ9TAGM5XP/e1, corollary 1

History

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

Construction of a non-measurable set JJZR0G31W2

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

Mentions

wikipedia: Wikipedia Non-measurable set#WNR1, Construction of a non-measurable set (definition)

History

2026-11-02: add by m2/dev

foliation JJZRDB3SDM

URI	`m2://inv/JJZRDB3SDM`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Foliation 98HTB7MSPX

Mentions

wikidata: Wikidata Q684220, foliation (concept). Also EoM Foliation, MathWorld Foliation, nLab foliation
wikipedia: Wikipedia Foliation, Foliation (definition). Also Wikidata Q684220

History

2026-10-26: add by m2/dev

$J$-barrier JJZZR2FNKY

URI	`m2://inv/JJZZR2FNKY`
Kind	definition
Layer	research
MSC	30-XX, 32-XX, 35-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 2609.26340#OFNZ, $J$-barrier (definition)

History

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