Inventory rows 9W

A strengthening of Formanek--Procesi 9W02NNE266

URI	`m2://inv/9W02NNE266`
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 2609.27204#05W3, A strengthening of Formanek--Procesi (statement)

History

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

Complete affine catalogue in the terminal lists 9W057S8NBB

URI	`m2://inv/9W057S8NBB`
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.37482#AYSD, Complete affine catalogue in the terminal lists (statement). In 9QDRMZX8EY/e1, lemma 22

History

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

Accelerated Chernoff representation of the evolution solution 9W0781RC3Q

URI	`m2://inv/9W0781RC3Q`
Kind	statement
Layer	research
MSC	35-XX, 37-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.16094#I0FR, Accelerated Chernoff representation of the evolution solution (statement). In RHBS9QDHC3/e1, corollary 5.11

History

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

Whitening transformation 9W0A82A3W6

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

Mentions

wikipedia: Wikipedia Whitening transformation, Whitening transformation (definition). Also Wikidata Q7996185

History

2026-11-02: add by m2/dev

9W0G28AJP3 9W0G28AJP3

URI	`m2://inv/9W0G28AJP3`
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 2610.14450#X922 (definition). In ZHTGQT07PE/e1, definition 3.7

History

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

Size and closure of a principal class 9W0H987N20

URI	`m2://inv/9W0H987N20`
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.25101#LDFD, Size and closure of a principal class (statement)

History

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

Solutions of the closed loop 9W0MMSZ4W0

URI	`m2://inv/9W0MMSZ4W0`
Kind	definition
Layer	research
MSC	35-XX, 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.08764#83B1, Solutions of the closed loop (definition). In QVFHS1C9BW/e1, definition \thethrm

History

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

Examples 9W0TJ65Q60

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

Mentions

wikipedia: Wikipedia Weird number#Q3I5, Examples (example)

History

2026-11-02: add by m2/dev

Ambrose–Singer theorem 9W0WD8SJFH

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

Mentions

wikipedia: Wikipedia Holonomy#HV4G, Ambrose–Singer theorem (statement)

History

2026-11-02: add by m2/dev

Projection (functional analysis) 9W15AK88GB

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

Mentions

wikipedia: Wikipedia Projection (linear algebra)#WWA4, Projection (functional analysis) (unknown)

History

2026-11-02: add by m2/dev

Interval coloring 9W17SNB4BH

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

Mentions

wikipedia: Wikipedia Interval coloring, Interval coloring (definition). Also Wikidata Q6057270

History

2026-11-02: add by m2/dev

9W1DW2XDE4 9W1DW2XDE4

URI	`m2://inv/9W1DW2XDE4`
Kind	definition
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#FF5X (definition). In Z7WW536KA5/e1, definition A

History

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

Danijela Damjanović 9W1RV7DGRZ

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

Mentions

wikipedia: Wikipedia Danijela Damjanović, Danijela Damjanović (topic). Also Wikidata Q102272943

History

2026-11-02: add by m2/dev

connected space 9W1V1EPD0B

URI	`m2://inv/9W1V1EPD0B`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Connected space 0D939CMME7

Mentions

mathlib_overview: mathlib_overview Topology > General topology > connectedness, connectedness (unknown). Also Mathlib ConnectedSpace
mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > connectedness, connectedness (unknown). Also Mathlib ConnectedSpace
wikidata: Wikidata Q1491995, connected space (unknown). Also Mathlib ConnectedSpace, MathWorld ConnectedSet
wikipedia: Wikipedia Connected space, Connected space (definition). Also Wikidata Q1491995

History

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

recursion principle, for interval type 9W1YH88PG0

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

Mentions

hott_book: hott_book index/5.3/recursion-principle-for-interval-type, recursion principle, for interval type (concept). In N54F33XE07, index, section 5.3

History

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

Hugo Rossi 9W23P2M4AV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#H1J4, Hugo Rossi (topic)

History

2026-11-02: add by m2/dev

9W24SD3Y6T 9W24SD3Y6T

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#proof-4 (proof). In E59CDZA4DP, proof, section 6.2.3

History

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

9W265SZSP0 9W265SZSP0

URI	`m2://inv/9W265SZSP0`
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.38838#MCXS (statement). In 3EH8M9GWTX/e1, theorem 4.8

History

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

Accumulator 9W270GAQBP

URI	`m2://inv/9W270GAQBP`
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.37479#NDSE, Accumulator (statement). In P3RTT99C41/e1, lemma A.9

History

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

9W2DD04H38 9W2DD04H38

URI	`m2://inv/9W2DD04H38`
Kind	statement
Layer	research
MSC	16-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 2205.13464#UGYS (statement). In JPYGC2R3FC/e1, theorem 8.3

History

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

9W2MS4JZB9 9W2MS4JZB9

URI	`m2://inv/9W2MS4JZB9`
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.04673#OSCQ (statement). In KKC0CT44FJ/e1, lemma 4.1

History

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

9W2TW7P3SH 9W2TW7P3SH

URI	`m2://inv/9W2TW7P3SH`
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 2102.10460#IO0Q (statement). In 3N20HKKXTJ/e1, lemma 2.4

History

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

Theorem (Wehrung 1998) 9W2Y414Z7J

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

Mentions

wikipedia: Wikipedia Congruence lattice problem#FZ64, Theorem (Wehrung 1998) (statement)

History

2026-11-02: add by m2/dev

Examples 9W3150P092

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

Mentions

wikipedia: Wikipedia Regular grammar#HA1V, Examples (example)

History

2026-11-02: add by m2/dev

Tzvi Tzur 9W363SBCJ0

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#BXRM, Tzvi Tzur (unknown)

History

2026-11-02: add by m2/dev

infinite mapping telescope 9W36N0SPGH

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#F3UF, infinite mapping telescope (definition)

History

2026-11-02: add by m2/dev

Definition 9W3758M1TM

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

Mentions

wikipedia: Wikipedia Rotation distance#APJA, Definition (definition)

History

2026-11-02: add by m2/dev

Reduction to one $\alpha$ 9W3EVGBCR4

URI	`m2://inv/9W3EVGBCR4`
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 2609.27042#LE89, Reduction to one $\alpha$ (statement)

History

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

List of interactive geometry software 9W3HH0RAA9

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

Mentions

wikipedia: Wikipedia List of interactive geometry software, List of interactive geometry software (topic). Also Wikidata Q21680473

History

2026-11-02: add by m2/dev

9W3S19YYBQ 9W3S19YYBQ

URI	`m2://inv/9W3S19YYBQ`
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#37LK (statement). In 8SVVEVGMNE/e1, corollary 5.12

History

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

9W3YD796Q6 9W3YD796Q6

URI	`m2://inv/9W3YD796Q6`
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.20170#O61D (statement)

History

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

Construction 9W40BPMK6P

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

Mentions

wikipedia: Wikipedia Elongated triangular cupola#TECA, Construction (definition)

History

2026-11-02: add by m2/dev

Beveridge, William 9W4B09Y8HE

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

Mentions

wikipedia: Wikipedia List of statisticians#1ZOC, Beveridge, William (unknown)

History

2026-11-02: add by m2/dev

Vandermonde's identity 9W4KQC3GRN

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

Mentions

wikipedia: Wikipedia List of mathematical identities#52J2, Vandermonde's identity (statement)
wikipedia: Wikipedia List of factorial and binomial topics#6JK7, Vandermonde's identity (statement)

History

2026-11-02: add by m2/dev

Cobra ciphers 9W4KRC9KZP

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

Mentions

wikipedia: Wikipedia Cobra ciphers, Cobra ciphers (definition). Also Wikidata Q946821

History

2026-11-02: add by m2/dev

9W4MZ69TBF 9W4MZ69TBF

URI	`m2://inv/9W4MZ69TBF`
Kind	definition
Layer	research
MSC	05-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 2609.36725#ERN2 (definition). In AR26SZ8JGN/e1, definition 2.3

History

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

9W4NAZSWTY 9W4NAZSWTY

URI	`m2://inv/9W4NAZSWTY`
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.26500#X3SC (statement)

History

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

9W4YYD40C2 9W4YYD40C2

URI	`m2://inv/9W4YYD40C2`
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.01354#O3NN (statement). In BWD76W20W8/e1, lemma 6.10

History

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

9W533MFBD8 9W533MFBD8

URI	`m2://inv/9W533MFBD8`
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.00789#RRH1 (statement). In 4WPYBTARS2/e1, proposition 4.11

History

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

Zhanna Pintusevich-Block 9W575R16EV

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#37R0, Zhanna Pintusevich-Block (unknown)

History

2026-11-02: add by m2/dev

9W58XPB6EQ 9W58XPB6EQ

URI	`m2://inv/9W58XPB6EQ`
Kind	example
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.15593#92X5 (example). In PREJREM4BB/e1, example 4.11

History

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

9W5AYJZXDS 9W5AYJZXDS

URI	`m2://inv/9W5AYJZXDS`
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.11757#NBWX (statement). In VSJRVTHWWA/e1, lemma 5.3

History

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

9W5CWXCJ4M 9W5CWXCJ4M

URI	`m2://inv/9W5CWXCJ4M`
Kind	unknown
Layer	research
MSC	60-XX, 81-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30590#7TCY (unknown). In WYE2JVEZBT/e1, unknown 2

History

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

Peano Arithmetic 9W5JGWSNCS

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

Mentions

wikipedia: Wikipedia Peano axioms#TGXC, Peano Arithmetic (unknown)

History

2026-11-02: add by m2/dev

*{Thm. 2.2 9W5N7BNSET

URI	`m2://inv/9W5N7BNSET`
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#LSZN, *{Thm. 2.2 (statement)

History

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

Graph pebbling 9W5XBTAW7X

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

Mentions

wikipedia: Wikipedia Graph pebbling, Graph pebbling (definition). Also Wikidata Q5597090

History

2026-11-02: add by m2/dev

9W5ZG7NKE7 9W5ZG7NKE7

URI	`m2://inv/9W5ZG7NKE7`
Kind	definition
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 2102.09374#WNXU (definition). In TGAHH1F8K5/e1, definition 2.6

History

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

BEAST (Browser Exploit Against SSL/TLS) 9W6CBFQWJ5

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

Mentions

wikipedia: Wikipedia Transport Layer Security#AAVF, BEAST (Browser Exploit Against SSL/TLS) (unknown)

History

2026-11-02: add by m2/dev

9W6CX4EAP8 9W6CX4EAP8

URI	`m2://inv/9W6CX4EAP8`
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.11047#00AS (statement). In MNQAZ70XTH/e1, proposition 6.4

History

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

Auxiliary inequality 1 9W6E5QTB5D

URI	`m2://inv/9W6E5QTB5D`
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.30957#MH6K, Auxiliary inequality 1 (statement). In P5YB6R0RK3/e1, lemma C.12

History

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

9W6FPFRCPH 9W6FPFRCPH

URI	`m2://inv/9W6FPFRCPH`
Kind	definition
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.38567#ACAB (definition). In 59AXA7QFTE/e1, definition 3

History

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

9W6HCT47XS 9W6HCT47XS

URI	`m2://inv/9W6HCT47XS`
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 math/9602216#E0YM (statement). In SD43497T8C/e1, fact 1.39

History

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

9W6MQV1GET 9W6MQV1GET

URI	`m2://inv/9W6MQV1GET`
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.19088#45QP (statement). In 90QTB4CC31/e1, corollary 3.39

History

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

Cayley's formula 9W6NHC5Y98

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

Mentions

wikipedia: Wikipedia Cayley's formula, Cayley's formula (statement). Also Wikidata Q859176

History

2026-11-02: add by m2/dev

9W6XBESH5Q 9W6XBESH5Q

URI	`m2://inv/9W6XBESH5Q`
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 2506.18195#AL4N (statement). In 6B8FNCHF1Z/e1, lemma 1

History

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

9W6ZRTVF2J 9W6ZRTVF2J

URI	`m2://inv/9W6ZRTVF2J`
Kind	definition
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.21231#1F2H (definition). In 4RH9PS7MN1/e1, definition 2

History

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

Alexander Kronrod 9W74V07CXM

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#TWGG, Alexander Kronrod (unknown)

History

2026-11-02: add by m2/dev

Extension 9W78JX5W0M

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

Mentions

wikipedia: Wikipedia Kurosh subgroup theorem#YHU2, Extension (statement)

History

2026-11-02: add by m2/dev

A nontrivial kernel at an exceptional parameter 9W78MKG9VZ

URI	`m2://inv/9W78MKG9VZ`
Kind	example
Layer	research
MSC	20-XX, 22-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.25805#4SFV, A nontrivial kernel at an exceptional parameter (example)

History

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

9W78V6P60C 9W78V6P60C

URI	`m2://inv/9W78V6P60C`
Kind	statement
Layer	research
MSC	01-XX, 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.06338#00EB (statement). In F1CYVYK7YB/e1, theorem 9.11

History

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

Exercise 2.6 9W7AF28307

URI	`m2://inv/9W7AF28307`
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.06340#QFI1, Exercise 2.6 (statement). In PKNZPECH82/e1, lemma 7.2

History

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

9W7FANDTGQ 9W7FANDTGQ

URI	`m2://inv/9W7FANDTGQ`
Kind	statement
Layer	research
MSC	05-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.40200#5KQH (statement). In VWNB6QJWFN/e1, proposition 5.2

History

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

Monotonicity of the graded defects 9W7R763BBH

URI	`m2://inv/9W7R763BBH`
Kind	statement
Layer	research
MSC	05-XX, 16-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.06739#9MNS, Monotonicity of the graded defects (statement). In HA9B7PD0YV/e1, theorem 19

History

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

intensional type theory 9W7RY07B6A

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

Mentions

hott_book: hott_book index/A.12.3/intensional-type-theory, intensional type theory (concept). In N54F33XE07, index, section A.12.3

History

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

Evelyn Boyd Granville 9W80G8469S

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

Mentions

wikipedia: Wikipedia Evelyn Boyd Granville, Evelyn Boyd Granville (topic). Also Wikidata Q3061381

History

2026-11-02: add by m2/dev

9W81T1G9X6 9W81T1G9X6

URI	`m2://inv/9W81T1G9X6`
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.16294#JLBL (statement). In N7HRE31BBH/e1, lemma 9.2

History

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

Narasimhan's lemma\index{Narasimhan's lemma} \footnote{A statement essentially of Narasimhan's lemma was already used by Hellmuth Kneser in 1936.} 9W821S97N1

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

Mentions

lebl_scv: lebl_scv scv.tex#lemma-1, Narasimhan's lemma\index{Narasimhan's lemma} \footnote{A statement essentially of Narasimhan's lemma was already used by Hellmuth Kneser in 1936.} (statement). In VNMV985MXX, lemma, section 2.3

History

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

*{Theorem 7.1 9W854MPM8G

URI	`m2://inv/9W854MPM8G`
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 2609.27518#UYP1, *{Theorem 7.1 (statement)

History

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

Monadology 9W892W413A

URI	`m2://inv/9W892W413A`
Kind	topic
Layer	textbook
MSC	01A75
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1211539, Monadology (topic). Also ProofWiki Book:Gottfried_Wilhelm_von_Leibniz/Monadologie

History

2026-10-26: add by m2/dev

Regression kink design 9W8A2REJK7

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

Mentions

wikipedia: Wikipedia Regression discontinuity design#M1YV, Regression kink design (unknown)

History

2026-11-02: add by m2/dev

Thermophoresis 9W8DHWF2XV

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

Mentions

wikipedia: Wikipedia Thermophoresis, Thermophoresis (definition). Also Wikidata Q610090

History

2026-11-02: add by m2/dev

Formula 9W8EEV2GTM

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

Mentions

wikipedia: Wikipedia Isosceles trapezoid#1FLX, Formula (statement)

History

2026-11-02: add by m2/dev

virtual 9W8F3GK6TV

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#QLRW, virtual (definition)

History

2026-11-02: add by m2/dev

9W8MR5XQJ1 9W8MR5XQJ1

URI	`m2://inv/9W8MR5XQJ1`
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.28160#YZ6D (statement)

History

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

9W8QEJZYMQ 9W8QEJZYMQ

URI	`m2://inv/9W8QEJZYMQ`
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 2610.21494#TSNY (statement). In ZWT4C1DYPE/e1, proposition 6.1

History

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

Axiom schema of continuity 9W8ZG9VK9X

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

Mentions

wikipedia: Wikipedia Tarski's axioms#99JI, Axiom schema of continuity (statement)

History

2026-11-02: add by m2/dev

9W8ZKXZQ6X 9W8ZKXZQ6X

URI	`m2://inv/9W8ZKXZQ6X`
Kind	statement
Layer	research
MSC	13-XX, 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 2502.14306#FG03 (statement). In ZNBQD5WH1M/e1, corollary 5.14

History

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

Theorem (transmissibility of parallelism) 9W92908TX7

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

Mentions

wikipedia: Wikipedia Ordered geometry#SKM3, Theorem (transmissibility of parallelism) (statement)

History

2026-11-02: add by m2/dev

\TS is unconditional 9W9377AXME

URI	`m2://inv/9W9377AXME`
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.35844#QWAD, \TS is unconditional (statement). In V33HFE8TZT/e1, lemma 1

History

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

Algorithms 9W989WCHRG

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

Mentions

wikipedia: Wikipedia TrueCrypt#007U, Algorithms (definition)

History

2026-11-02: add by m2/dev

Slip line field 9W997W278J

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

Mentions

wikipedia: Wikipedia Slip line field, Slip line field (definition). Also Wikidata Q7540843

History

2026-11-02: add by m2/dev

Integer-valued function 9W9BSSHZAK

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

Mentions

wikipedia: Wikipedia Integer-valued function, Integer-valued function (definition). Also Wikidata Q19856468

History

2026-11-02: add by m2/dev

John Pagus 9W9D96N99N

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

Mentions

wikipedia: Wikipedia List of logicians#J8SZ, John Pagus (topic)

History

2026-11-02: add by m2/dev

9W9TJ01P6X 9W9TJ01P6X

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

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/quantifiers.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 61.11

History

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

vertical vector field 9W9WH7AFDX

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

Mentions

wikidata: Wikidata Q17037964, vertical vector field (unknown). Also nLab vertical vector field

History

2026-10-26: add by m2/dev

9W9ZMDC6BQ 9W9ZMDC6BQ

URI	`m2://inv/9W9ZMDC6BQ`
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.38772#H710 (statement). In 1C3R5NAQAP/e1, proposition 3.6

History

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

9WA0EQ89SZ 9WA0EQ89SZ

URI	`m2://inv/9WA0EQ89SZ`
Kind	statement
Layer	research
MSC	03-XX, 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 2610.04870#1TTD (statement). In X765ZXXVC3/e1, theorem 4.28

History

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

9WA6SBGC8X 9WA6SBGC8X

URI	`m2://inv/9WA6SBGC8X`
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.18632#883M (statement). In PTM5MVD4M0/e1, lemma 4.2

History

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

Variants 9WACWEXQKJ

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

Mentions

wikipedia: Wikipedia Conditional random field#65HJ, Variants (statement)

History

2026-11-02: add by m2/dev

Conjunction elimination 9WAMA4DTX3

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

Mentions

wikipedia: Wikipedia Conjunction elimination#FX9H, Conjunction elimination (statement)

History

2026-11-02: add by m2/dev

9WANDSD397 9WANDSD397

URI	`m2://inv/9WANDSD397`
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 2603.11432#SICY (statement). In 9PGSPHDKR2/e1, proposition 2.1

History

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

Gelfand–Mazur theorem 9WANF3NNRQ

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

Mentions

mathlib_1000: mathlib_1000 Q2226677, Gelfand–Mazur theorem (statement). Also Mathlib NormedRing.algEquivComplexOfComplete, Mathlib NormedAlgebra.Complex.algEquivOfNormMul, Mathlib NormedAlgebra.Real.nonempty_algEquiv_or, Wikidata Q2226677
thousand_plus: thousand_plus Q2226677, Gelfand–Mazur theorem (statement). Also Mathlib NormedRing.algEquivComplexOfComplete, Mathlib NormedAlgebra.Complex.algEquivOfNormMul, Mathlib NormedAlgebra.Real.nonempty_algEquiv_or, Wikidata Q2226677, Wikipedia Gelfand–Mazur theorem
wikipedia: Wikipedia Gelfand–Mazur theorem, Gelfand–Mazur theorem (statement). Also Wikidata Q2226677

History

2026-10-26: add by m2/dev

Giorgi Japaridze 9WASTR8YJ5

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

Mentions

wikipedia: Wikipedia Giorgi Japaridze, Giorgi Japaridze (topic). Also Wikidata Q5563424

History

2026-11-02: add by m2/dev

9WAWFAH2CX 9WAWFAH2CX

URI	`m2://inv/9WAWFAH2CX`
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.11271#ZZ5D (statement). In HF7J38T8Y6/e1, corollary 4.5

History

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

Makowsky 9WB2SAGDFH

URI	`m2://inv/9WB2SAGDFH`
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 2609.25291#X56B, Makowsky (statement)

History

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

9WB4R3JFEM 9WB4R3JFEM

URI	`m2://inv/9WB4R3JFEM`
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.33238#W72O (statement). In MVWXMDFP3P/e1, lemma 4.1

History

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

9WB9PAKA0B 9WB9PAKA0B

URI	`m2://inv/9WB9PAKA0B`
Kind	statement
Layer	research
MSC	05-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.12484#E46X (statement). In GW23NX78SB/e1, corollary 4.33

History

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

Finsler geometry 9WBDTZC8ZW

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#AH8W, Finsler geometry (definition)

History

2026-11-02: add by m2/dev

Definition 9WBP93284X

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

Mentions

wikipedia: Wikipedia S-equivalence#MCOW, Definition (definition)

History

2026-11-02: add by m2/dev

9WBR24XD2G 9WBR24XD2G

URI	`m2://inv/9WBR24XD2G`
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#1N7M (statement). In M4JGP708F4/e1, proposition 1.2

History

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

Definition 9WBS2ZFXH2

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

Mentions

wikipedia: Wikipedia Jacobi integral#GZHI, Definition (definition)

History

2026-11-02: add by m2/dev

Examples 9WBVP5DQ8E

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

Mentions

wikipedia: Wikipedia Certificate (complexity)#P4TH, Examples (example)

History

2026-11-02: add by m2/dev

9WC1K9KT7T 9WC1K9KT7T

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#example-10 (example). In RZP28ERRZV, example, section 2.2

History

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

Weakened Lipschitz continuity 9WCSWDX0E4

URI	`m2://inv/9WCSWDX0E4`
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.14562#ZIAJ, Weakened Lipschitz continuity (statement). In G4XMZ452QE/e1, proposition 2.6

History

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

9WCZAFHTC3 9WCZAFHTC3

URI	`m2://inv/9WCZAFHTC3`
Kind	statement
Layer	research
MSC	11-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.40123#SLUC (statement). In WK2YHYEDZ9/e1, corollary 6.7

History

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

9WD88B8D0R 9WD88B8D0R

URI	`m2://inv/9WD88B8D0R`
Kind	statement
Layer	research
MSC	01-XX, 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.06338#4LCA (statement). In F1CYVYK7YB/e1, theorem 9.14

History

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

Generalized Cloning Map 9WD9VSJYD2

URI	`m2://inv/9WD9VSJYD2`
Kind	definition
Layer	research
MSC	81-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.06742#VXJZ, Generalized Cloning Map (definition). In 24FJ7C8WPN/e1, definition 1

History

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

Examples 9WDDKC99A9

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

Mentions

wikipedia: Wikipedia Infimum and supremum#3204, Examples (example)

History

2026-11-02: add by m2/dev

T. M. F. Smith 9WDKA9C353

URI	`m2://inv/9WDKA9C353`
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#R6VN, T. M. F. Smith (topic)

History

2026-11-02: add by m2/dev

9WDZH3EC27 9WDZH3EC27

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#prop:equivclasses (statement). In E59CDZA4DP, prop, section 11.9.4

History

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

counting measure 9WE3C8MFS8

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

Mentions

wikidata: Wikidata Q247204, counting measure (definition). Also nLab counting measure, ProofWiki Definition:Counting_Measure
wikipedia: Wikipedia Counting measure, Counting measure (definition). Also Wikidata Q247204

History

2026-10-26: add by m2/dev

9WEBZX6GTY 9WEBZX6GTY

URI	`m2://inv/9WEBZX6GTY`
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.23779#WOMH (statement)

History

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

9WEXTDKYSZ 9WEXTDKYSZ

URI	`m2://inv/9WEXTDKYSZ`
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 2609.21098#SGMQ (statement)

History

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

9WF076CQXP 9WF076CQXP

URI	`m2://inv/9WF076CQXP`
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.08935#GSBM (definition). In G02N9D40B9/e1, definition 2.3.1

History

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

Efim Fradkin 9WF0AX75N5

URI	`m2://inv/9WF0AX75N5`
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 Q381633, Efim Fradkin (unknown). Also nLab Efim Fradkin

History

2026-10-26: add by m2/dev

9WF1RKWR9C 9WF1RKWR9C

URI	`m2://inv/9WF1RKWR9C`
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 2002.01498#6P1U (definition). In 2H7TQ695XW/e1, definition 3.4

History

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

Move (CO): Collapse 9WFSHE6ADT

URI	`m2://inv/9WFSHE6ADT`
Kind	definition
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.01915#GI1F, Move (CO): Collapse (definition). In 6HJQXZS0A6/e1, definition 1.13

History

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

Second variation 9WFV3SP1H9

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

Mentions

wikipedia: Wikipedia Second variation, Second variation (definition). Also Wikidata Q137710193

History

2026-11-02: add by m2/dev

Murder of Hypatia 9WFXRWTKX7

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

Mentions

wikipedia: Wikipedia Hypatia#AQHM, Murder of Hypatia (unknown)

History

2026-11-02: add by m2/dev

Return matrix as a local operator overlap 9WG2Q7FW2V

URI	`m2://inv/9WG2Q7FW2V`
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 2610.16351#X0D2, Return matrix as a local operator overlap (statement). In 1QSV7EQE3T/e1, lemma S3

History

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

9WG8749CV2 9WG8749CV2

URI	`m2://inv/9WG8749CV2`
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#CO49 (statement). In GAG532VMPF/e1, proposition 6.2.8

History

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

Artin–Rees lemma 9WGKH2AZ8P

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#ZVTO, Artin–Rees lemma (statement)
wikipedia: Wikipedia List of things named after Emil Artin#IQEY, Artin–Rees lemma (statement)
wikipedia: Wikipedia List of lemmas#W392, Artin–Rees lemma (statement)

History

2026-11-02: add by m2/dev

Finagle's law 9WGW1539RE

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

Mentions

wikipedia: Wikipedia Finagle's law, Finagle's law (statement). Also Wikidata Q1349727

History

2026-11-02: add by m2/dev

9WHDHG7YSG 9WHDHG7YSG

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

Mentions

open_logic: open_logic content/computability/computability-theory/k-1.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.7

History

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

Hilbert's irreducibility theorem 9WHNDB6CSA

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

Mentions

mathlib_1000: mathlib_1000 Q5761142, Hilbert's irreducibility theorem (statement). Also Wikidata Q5761142
thousand_plus: thousand_plus Q5761142, Hilbert's irreducibility theorem (statement). Also Wikidata Q5761142, Wikipedia Hilbert's irreducibility theorem
wikipedia: Wikipedia Hilbert's irreducibility theorem, Hilbert's irreducibility theorem (statement). Also Wikidata Q5761142

History

2026-10-26: add by m2/dev

9WHPSJVDSX 9WHPSJVDSX

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

Mentions

napkin: napkin tex/H113/structure.tex#definition-3 (definition). In RZP28ERRZV, definition, section 6.2

History

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

theory of modules over a commutative ring 9WJ3NH9R04

URI	`m2://inv/9WJ3NH9R04`
Kind	topic
Layer	textbook
MSC	13Cxx
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q114722748, theory of modules over a commutative ring (topic)

History

2026-10-26: add by m2/dev

9WJ541NY86 9WJ541NY86

URI	`m2://inv/9WJ541NY86`
Kind	definition
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.16989#O6WH (definition). In 4769XNDWYS/e1, definition 2.1

History

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

Corollary 9WJ781JAF8

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

Mentions

wikipedia: Wikipedia Artin transfer (group theory)#MUE4, Corollary (statement)

History

2026-11-02: add by m2/dev

Guido Fubini 9WJMF8CTC9

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

Mentions

wikipedia: Wikipedia Guido Fubini, Guido Fubini (topic). Also Wikidata Q289206

History

2026-11-02: add by m2/dev

the category of measurable spaces 9WJWCQ5CSS

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

Mentions

mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > the category of measurable spaces, the category of measurable spaces (unknown). Also Mathlib MeasCat

History

2026-10-26: add by m2/dev

Example 9WJXH00P6B

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

Mentions

wikipedia: Wikipedia Wiener process#6V4R, Example (example)

History

2026-11-02: add by m2/dev

9WJYNTR0DZ 9WJYNTR0DZ

URI	`m2://inv/9WJYNTR0DZ`
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.39700#57B5 (statement). In E7W2HDNEKJ/e1, proposition 12.2

History

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

Finite paths remain in one cloud 9WK0EYZCBG

URI	`m2://inv/9WK0EYZCBG`
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 2610.17400#VHLR, Finite paths remain in one cloud (statement). In 8VDXGR4SVD/e1, lemma 6.2

History

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

Cyclotomic fast Fourier transform 9WK1HXGBC6

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

Mentions

wikipedia: Wikipedia Cyclotomic fast Fourier transform, Cyclotomic fast Fourier transform (definition). Also Wikidata Q17006372

History

2026-11-02: add by m2/dev

Bahadur's theorem 9WK3VQN261

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

Mentions

wikipedia: Wikipedia Completeness (statistics)#AHNK, Bahadur's theorem (statement)

History

2026-11-02: add by m2/dev

9WK59M7J5P 9WK59M7J5P

URI	`m2://inv/9WK59M7J5P`
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 2610.09945#GV2G (definition). In V7VCEA0VAA/e1, definition 2.4

History

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

REDUCE 9WK9AH81RV

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

Mentions

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

History

2026-11-02: add by m2/dev

Value function 9WKG6J6EWA

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

Mentions

wikipedia: Wikipedia Value function, Value function (definition). Also Wikidata Q65929180

History

2026-11-02: add by m2/dev

9WKHWHXAN0 9WKHWHXAN0

URI	`m2://inv/9WKHWHXAN0`
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.26984#7DUO (statement)

History

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

9WKMEWTR2E 9WKMEWTR2E

URI	`m2://inv/9WKMEWTR2E`
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.17325#KTH0 (statement). In SE16BAED46/e1, proposition 2

History

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

Example 9WKPX9YXNC

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

Mentions

wikipedia: Wikipedia Sieve of Pritchard#0WD0, Example (example)

History

2026-11-02: add by m2/dev

Fattorini--Hautus {\parencite[Thm. III.3.7]{boyerControllabilityLinearParabolic2020 9WKTMQ3SXQ

URI	`m2://inv/9WKTMQ3SXQ`
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.25431#ZGO7, Fattorini--Hautus {\parencite[Thm. III.3.7]{boyerControllabilityLinearParabolic2020 (statement)

History

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

J. C. P. Miller 9WKXZYV5ES

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

Mentions

wikipedia: Wikipedia List of geometers#IIL0, J. C. P. Miller (topic)

History

2026-11-02: add by m2/dev

9WM0FJB5D4 9WM0FJB5D4

URI	`m2://inv/9WM0FJB5D4`
Kind	definition
Layer	research
MSC	05-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.03612#DR7N (definition). In REDG6QVHM3/e1, definition 8.16

History

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

9WM0FXZYBV 9WM0FXZYBV

URI	`m2://inv/9WM0FXZYBV`
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.01899#8HGS (statement). In 638TEFBFGP/e1, lemma 4.1

History

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

9WM1C1DN1Y 9WM1C1DN1Y

URI	`m2://inv/9WM1C1DN1Y`
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 2610.03303#OWYP (statement). In VS9KKQWEMX/e1, theorem 3.1

History

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

Safety of semi-explicit DAEs 9WM1Y6HDQ6

URI	`m2://inv/9WM1Y6HDQ6`
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.09634#C2ZY, Safety of semi-explicit DAEs (statement). In FH42QK814C/e1, theorem 2

History

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

9WM256SDPA 9WM256SDPA

URI	`m2://inv/9WM256SDPA`
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 2610.06810#EH90 (statement). In 1NY2SA03XF/e1, lemma 6.4

History

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

9WM2Y1TQ2S 9WM2Y1TQ2S

URI	`m2://inv/9WM2Y1TQ2S`
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.04876#OL5K (statement). In 2TNAKVC0YP/e1, lemma 4.8

History

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

9WM47JP3Q6 9WM47JP3Q6

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 13.5

History

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

9WM7EGN7CC 9WM7EGN7CC

URI	`m2://inv/9WM7EGN7CC`
Kind	unknown
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13680#N8LA (unknown). In QNBFHFZ3H0/e1, unknown 38

History

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

Quantum action principle 9WM845TR9N

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

Mentions

wikipedia: Wikipedia Path-integral formulation#RF2U, Quantum action principle (statement)

History

2026-11-02: add by m2/dev

Guido Imbens 9WMB0C2SHJ

URI	`m2://inv/9WMB0C2SHJ`
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#2R8V, Guido Imbens (unknown)

History

2026-11-02: add by m2/dev

Mutual authentication 9WMBVB8M3J

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

Mentions

wikipedia: Wikipedia Mutual authentication, Mutual authentication (definition). Also Wikidata Q6944186

History

2026-11-02: add by m2/dev

9WMK88E34Q 9WMK88E34Q

URI	`m2://inv/9WMK88E34Q`
Kind	statement
Layer	research
MSC	11-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.14380#N4S9 (statement). In 2ZRQP063HP/e1, theorem 4.1

History

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

André Lukas 9WMRT9R77D

URI	`m2://inv/9WMRT9R77D`
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 Q63358340, André Lukas (unknown). Also nLab Andre Lukas

History

2026-10-26: add by m2/dev

9WMV031V70 9WMV031V70

URI	`m2://inv/9WMV031V70`
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.26386#SI8A (statement)

History

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

Examples 9WMV9PTNE0

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

Mentions

wikipedia: Wikipedia Supercompact space#Q01N, Examples (example)

History

2026-11-02: add by m2/dev

Examples 9WMVE77DDP

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

Mentions

wikipedia: Wikipedia Temperature#N71G, Examples (example)

History

2026-11-02: add by m2/dev

Reduct 9WMXT3ZSGV

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

Mentions

wikipedia: Wikipedia Reduct, Reduct (definition). Also Wikidata Q12880812

History

2026-11-02: add by m2/dev

9WN1ZP60CD 9WN1ZP60CD

URI	`m2://inv/9WN1ZP60CD`
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.03856#7EQC (definition). In HTBRYNPHSJ/e1, definition 2.1

History

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

List of continuity-related mathematical topics 9WN2WRFF6V

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

Mentions

wikipedia: Wikipedia List of continuity-related mathematical topics, List of continuity-related mathematical topics (topic). Also Wikidata Q5165409

History

2026-11-02: add by m2/dev

Lila Elveback 9WN398D0AW

URI	`m2://inv/9WN398D0AW`
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#WROZ, Lila Elveback (unknown)

History

2026-11-02: add by m2/dev

Free multiplicative convolution 9WN9709KEF

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

Mentions

wikipedia: Wikipedia Free convolution#WAY6, Free multiplicative convolution (unknown)

History

2026-11-02: add by m2/dev

9WNFRRAP21 9WNFRRAP21

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 62.7

History

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

Krieger finite generator theorem (Krieger 1970) 9WNHSHNP9Z

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

Mentions

wikipedia: Wikipedia Measure-preserving dynamical system#45ZF, Krieger finite generator theorem (Krieger 1970) (statement)

History

2026-11-02: add by m2/dev

De Giorgi iteration 9WNP9BQXPV

URI	`m2://inv/9WNP9BQXPV`
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 2610.09596#4QTD, De Giorgi iteration (statement). In HXFA55BREZ/e1, lemma 2.18

History

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

Foster's theorem 9WNSPQ26HX

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

Mentions

wikipedia: Wikipedia List of theorems#6LSO, Foster's theorem (statement)

History

2026-11-02: add by m2/dev

549 (number) 9WNZ5GWTD1

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

Mentions

wikipedia: Wikipedia 500 (number)#HXY0, 549 (number) (unknown)

History

2026-11-02: add by m2/dev

Index and relative degree 9WP0N90YYP

URI	`m2://inv/9WP0N90YYP`
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.09634#RDV4, Index and relative degree (statement). In FH42QK814C/e1, lemma 1

History

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

Graybill–Deal estimator 9WP8HM0P48

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

Mentions

wikipedia: Wikipedia List of unsolved problems in statistics#ES1H, Graybill–Deal estimator (unknown)

History

2026-11-02: add by m2/dev

Indirect utility function 9WP9HDR2KJ

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

Mentions

wikipedia: Wikipedia Indirect utility function, Indirect utility function (definition). Also Wikidata Q1573178

History

2026-11-02: add by m2/dev

9WPA05YFZB 9WPA05YFZB

URI	`m2://inv/9WPA05YFZB`
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.06381#NK08 (statement). In X9JKBDHACW/e1, lemma 3.1

History

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

perfect totient number 9WPE5S3N5F

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

Mentions

wikidata: Wikidata Q3879418, perfect totient number (object). Also OEIS A082897
wikipedia: Wikipedia Perfect totient number, Perfect totient number (definition). Also Wikidata Q3879418

History

2026-10-26: add by m2/dev

Les Météores 9WPHZQDWXD

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

Mentions

wikipedia: Wikipedia René Descartes#3JB9, Les Météores (unknown)

History

2026-11-02: add by m2/dev

Stanislav Smirnov 9WPRCYXWGZ

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#LXBX, Stanislav Smirnov (topic)

History

2026-11-02: add by m2/dev

Heat equation 9WPT9V90J7

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

Mentions

wikipedia: Wikipedia List of named differential equations#AN9E, Heat equation (definition)
wikipedia: Wikipedia List of partial differential equation topics#FNRN, Heat equation (definition)

History

2026-11-02: add by m2/dev

André Bloch 9WQ0HVFTDK

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

Mentions

wikipedia: Wikipedia André Bloch (mathematician), André Bloch (topic). Also Wikidata Q517173

History

2026-11-02: add by m2/dev

9WQ2579589 9WQ2579589

URI	`m2://inv/9WQ2579589`
Kind	example
Layer	research
MSC	16-XX, 55-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.21365#BB8L (example). In FCMMB2EVAP/e1, example 2.5

History

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

9WQ6CSVHH1 9WQ6CSVHH1

URI	`m2://inv/9WQ6CSVHH1`
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 2204.01073#FW4Q (statement). In W4TYN4PGE8/e1, corollary 6.15

History

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

9WQ9SCM2WQ 9WQ9SCM2WQ

URI	`m2://inv/9WQ9SCM2WQ`
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 2205.09049#8U5H (definition). In 37S7MNMZ2F/e1, definition 5

History

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

9WQBSDY7JF 9WQBSDY7JF

URI	`m2://inv/9WQBSDY7JF`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.23660#TLOS (statement)

History

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

9WQEVBKR76 9WQEVBKR76

URI	`m2://inv/9WQEVBKR76`
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.11535#8Z2N (statement). In 7TY4S2YSVN/e1, theorem 2.3

History

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

Dietmar Arno Salamon 9WQHNPESMK

URI	`m2://inv/9WQHNPESMK`
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#FJ96, Dietmar Arno Salamon (topic)

History

2026-11-02: add by m2/dev

Generalizations 9WQPQM7GK5

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

Mentions

wikipedia: Wikipedia Gallai–Edmonds decomposition#BIW3, Generalizations (statement)

History

2026-11-02: add by m2/dev

9WQSVTFBM7 9WQSVTFBM7

URI	`m2://inv/9WQSVTFBM7`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-XX, 47-XX, 58-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.27458#K0JW (statement)

History

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

9WQX2AF8FM 9WQX2AF8FM

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 2.4

History

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

Bob Waterfield 9WQXWZQJWM

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#VVWS, Bob Waterfield (unknown)

History

2026-11-02: add by m2/dev

Unrestricted curvature-controlled contraction and deficit 9WR4MPPB4Y

URI	`m2://inv/9WR4MPPB4Y`
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.38228#Q3ZR, Unrestricted curvature-controlled contraction and deficit (statement). In 9YAE8FNQST/e1, theorem 17.19

History

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

Ulm's theorem 9WR7T1H36J

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

Mentions

wikipedia: Wikipedia Height (abelian group)#60QJ, Ulm's theorem (statement)

History

2026-11-02: add by m2/dev

Minimal positive weighted $2$-designs 9WRBRXXPV0

URI	`m2://inv/9WRBRXXPV0`
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.04136#NN50, Minimal positive weighted $2$-designs (statement). In TBYTWR87F3/e1, theorem 3.2

History

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

9WRM1Z1E9A 9WRM1Z1E9A

URI	`m2://inv/9WRM1Z1E9A`
Kind	definition
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.12857#JI0A (definition). In XJWQ6Y83F8/e1, definition 2.16

History

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

9WRQEFRX1F 9WRQEFRX1F

URI	`m2://inv/9WRQEFRX1F`
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.38228#BOWY (statement). In 9YAE8FNQST/e1, corollary 24.5

History

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

Definitions 9WRRX5TJW9

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

Mentions

wikipedia: Wikipedia Principal orbit type theorem#UQUB, Definitions (definition)

History

2026-11-02: add by m2/dev

Example 9WRSMTVM3M

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

Mentions

wikipedia: Wikipedia Ultragraph C*-algebra#VH2J, Example (example)

History

2026-11-02: add by m2/dev

Boole's rule 9WRTV8CB8N

URI	`m2://inv/9WRTV8CB8N`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Boole's rule TVSVBH4TT4

Mentions

wikidata: Wikidata Q4943343, Boole's rule (concept). Also MathWorld BoolesRule
wikipedia: Wikipedia Boole's rule, Boole's rule (definition). Also Wikidata Q4943343

History

2026-10-26: add by m2/dev

Hadamard derivative 9WRW70XC3A

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

Mentions

wikipedia: Wikipedia Hadamard derivative, Hadamard derivative (definition). Also Wikidata Q28458375

History

2026-11-02: add by m2/dev

9WS1AMP3F8 9WS1AMP3F8

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

Mentions

hott_book: hott_book categories.tex#proof-2 (proof). In N54F33XE07, proof, section 2.1

History

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

9WS3YC5BB8 9WS3YC5BB8

URI	`m2://inv/9WS3YC5BB8`
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.05520#V9RF (statement). In WM1JMPW48K/e1, corollary 1

History

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

Cliff's delta 9WS8NH2BBP

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

Mentions

wikipedia: Wikipedia Effect size#LW97, Cliff's delta (unknown)

History

2026-11-02: add by m2/dev

9WSCYGT5VN 9WSCYGT5VN

URI	`m2://inv/9WSCYGT5VN`
Kind	unknown
Layer	research
MSC	11-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2205.15365#QVSL (unknown). In R2XC1SC9NZ/e1, unknown 35

History

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

Quantum mechanics 9WSEM5Z7QE

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#CIA2, Quantum mechanics (definition)

History

2026-11-02: add by m2/dev

Urysohn's lemma 9WSFAS4Q12

URI	`m2://inv/9WSFAS4Q12`
Kind	statement
Layer	textbook
Sources	3
Outcome	node (a node has the same Wikidata item as the row)
Node	Urysohn's lemma 01EY3VR7ZD

Mentions

mathlib_overview: mathlib_overview Topology > General topology > Urysohn's lemma, Urysohn's lemma (unknown). Also Mathlib exists_continuous_zero_one_of_isClosed
wikidata: Wikidata Q1816967, Urysohn's lemma (statement). Also EoM Urysohn_lemma, Mathlib exists_continuous_zero_one_of_isClosed, MathWorld UrysohnsLemma, nLab Urysohn's lemma
wikipedia: Wikipedia Urysohn's lemma, Urysohn's lemma (statement). Also Wikidata Q1816967

History

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

Arm/GB10 the GPU is slower than the CPU 9WSN3BR3VE

URI	`m2://inv/9WSN3BR3VE`
Kind	unknown
Layer	research
MSC	65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29554#GIX1, Arm/GB10 the GPU is slower than the CPU (unknown)

History

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

Zhi-Ming Ma 9WSPKE1VV0

URI	`m2://inv/9WSPKE1VV0`
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#CJBU, Zhi-Ming Ma (topic)

History

2026-11-02: add by m2/dev

Persistence of modes 9WSRSQE71R

URI	`m2://inv/9WSRSQE71R`
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 2610.15369#GRQ9, Persistence of modes (statement). In JESNVAZEYT/e1, lemma 10

History

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

Joseph Terwilliger 9WSTE9WGWY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#11SK, Joseph Terwilliger (unknown)

History

2026-11-02: add by m2/dev

Variations 9WT4Q51PGC

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

Mentions

wikipedia: Wikipedia Faà di Bruno's formula#EXSL, Variations (statement)

History

2026-11-02: add by m2/dev

Area 9WTB8JHY55

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

Mentions

wikipedia: Wikipedia Area (graph drawing), Area (definition). Also Wikidata Q17332320

History

2026-11-02: add by m2/dev

9WTDWPN7JA 9WTDWPN7JA

URI	`m2://inv/9WTDWPN7JA`
Kind	statement
Layer	research
MSC	30-XX, 32-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.36377#NXRA (statement). In M98F6VRPZ2/e1, lemma 4.11

History

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

9WTQM931BQ 9WTQM931BQ

URI	`m2://inv/9WTQM931BQ`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-XX, 58-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.37769#TTQU (statement). In MJWNGM4S01/e1, theorem 1.4

History

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

Robert Henry Risch 9WTRRQ9XEJ

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

Mentions

wikipedia: Wikipedia Robert Henry Risch, Robert Henry Risch (topic). Also Wikidata Q18574298

History

2026-11-02: add by m2/dev

Kakutani fixed-point theorem 9WTSEHWC1G

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

Mentions

wikipedia: Wikipedia List of PPAD-complete problems#HF6I, Kakutani fixed-point theorem (statement)

History

2026-11-02: add by m2/dev

open manifold 9WTTGW6PPQ

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

Mentions

wikidata: Wikidata Q56298741, open manifold (concept). Also MathWorld OpenManifold

History

2026-10-26: add by m2/dev

LAN fidelity transfer 9WTZFWSVET

URI	`m2://inv/9WTZFWSVET`
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.35986#LZYR, LAN fidelity transfer (statement). In PBX6AMPVT2/e1, lemma 3.5

History

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

9WV0B05SZ3 9WV0B05SZ3

URI	`m2://inv/9WV0B05SZ3`
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 2303.11021#ILJ0 (statement). In B2ZK4DF2PM/e1, proposition 1

History

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

Jennifer Scott 9WV1CT11F7

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

Mentions

wikipedia: Wikipedia Jennifer Scott (mathematician), Jennifer Scott (topic). Also Wikidata Q57915839

History

2026-11-02: add by m2/dev

nilpotent 9WV659M1GQ

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#9EDJ, nilpotent (definition)

History

2026-11-02: add by m2/dev

9WVCR71RRC 9WVCR71RRC

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

Mentions

active_calculus: active_calculus source/activities/act-3-6-4.xml#act-3-6-4 (exercise). In 907G4C4EJ1, activity, section 3.6.2

History

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

Normative interpretations of the axioms 9WVN4BFCRR

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

Mentions

wikipedia: Wikipedia Preference (economics)#Z5I6, Normative interpretations of the axioms (statement)

History

2026-11-02: add by m2/dev

Cycle class map 9WVV39S6Q9

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

Mentions

wikipedia: Wikipedia Chow group#L5JK, Cycle class map (unknown)

History

2026-11-02: add by m2/dev

9WVX8D15XZ 9WVX8D15XZ

URI	`m2://inv/9WVX8D15XZ`
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#CJVF (statement). In MAY0WVXT07/e1, corollary 2.3

History

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

9WVY15PWFF 9WVY15PWFF

URI	`m2://inv/9WVY15PWFF`
Kind	statement
Layer	research
MSC	05-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.07280#LAA1 (statement). In 1FJKW4WGEN/e1, lemma 4.8

History

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

Applications 9WW3G39H0F

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

Mentions

wikipedia: Wikipedia Allais paradox#X8B6, Applications (example)

History

2026-11-02: add by m2/dev

9WW3YDA2CY 9WW3YDA2CY

URI	`m2://inv/9WW3YDA2CY`
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.35360#Z1YN (statement). In 770AQ8T366/e1, lemma 3.3

History

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

Examples 9WW7D63T82

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

Mentions

wikipedia: Wikipedia Literal (mathematical logic)#TH18, Examples (example)

History

2026-11-02: add by m2/dev

Dirichlet's $S$-unit Theorem 9WWA2X6C3G

URI	`m2://inv/9WWA2X6C3G`
Kind	statement
Layer	research
MSC	11-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.32138#VCGI, Dirichlet's $S$-unit Theorem (statement). In ZG0GNHTCWB/e1, theorem 4.4

History

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

Chan–Karolyi–Longstaff–Sanders process 9WWW531K6F

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

Mentions

wikipedia: Wikipedia Chan–Karolyi–Longstaff–Sanders process, Chan–Karolyi–Longstaff–Sanders process (definition). Also Wikidata Q112339873

History

2026-11-02: add by m2/dev

Chronology protection conjecture 9WWYHGPXQF

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

Mentions

wikipedia: Wikipedia Chronology protection conjecture, Chronology protection conjecture (statement). Also Wikidata Q2561743

History

2026-11-02: add by m2/dev

Sieve C 9WX4ZXYRBC

URI	`m2://inv/9WX4ZXYRBC`
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.16962#4DFU, Sieve C (statement). In KJC9FRS3C2/e1, theorem 6.4

History

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

Zuckerman 9WX618WG1W

URI	`m2://inv/9WX618WG1W`
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.01441#OWNM, Zuckerman (statement). In V678XY1P9A/e1, theorem 2

History

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

Marginal coverage under score comparison stability 9WX8Q7EXC8

URI	`m2://inv/9WX8Q7EXC8`
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.26951#C7RG, Marginal coverage under score comparison stability (statement)

History

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

Michael Harris 9WXHMWF4NM

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#FRPC, Michael Harris (topic)

History

2026-11-02: add by m2/dev

logarithm 9WXWJPEAS7

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

Mentions

lebl_ra: lebl_ra index/8.4.1/logarithm, logarithm (concept). In E59CDZA4DP, index, section 8.4.1

History

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

Uses 9WY4AV5E8T

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

Mentions

wikipedia: Wikipedia Injective object#X1S5, Uses (example)

History

2026-11-02: add by m2/dev

9WY9M6BNBW 9WY9M6BNBW

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

Mentions

open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 34.6

History

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

Auxiliary polynomial theorem 9WYBX38VE5

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

Mentions

wikipedia: Wikipedia List of theorems#47K6, Auxiliary polynomial theorem (object)

History

2026-11-02: add by m2/dev

Sam Weerahandi 9WYE5KD3FF

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

Mentions

wikipedia: Wikipedia Sam Weerahandi, Sam Weerahandi (topic). Also Wikidata Q17076306

History

2026-11-02: add by m2/dev

9WYFWPA81S 9WYFWPA81S

URI	`m2://inv/9WYFWPA81S`
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 2112.05010#9KG1 (statement). In 4SZNPS3Z00/e1, lemma 5.6

History

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

9WYKTAK0T7 9WYKTAK0T7

URI	`m2://inv/9WYKTAK0T7`
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 2609.20375#78RN (statement)

History

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

Characteristic subgroup 9WYVGHPRZ4

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

Mentions

wikipedia: Wikipedia List of group theory topics#7VWT, Characteristic subgroup (definition)

History

2026-11-02: add by m2/dev

9WYWRX8H8T 9WYWRX8H8T

URI	`m2://inv/9WYWRX8H8T`
Kind	statement
Layer	research
MSC	05-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.18061#U8WM (statement). In Y8A35AV31M/e1, theorem 2.2

History

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

Desargues 9WYZFQ014R

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#80Q7, Desargues (definition)

History

2026-11-02: add by m2/dev

ARGH Power Ratings 9WZ6A89NPX

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

Mentions

wikipedia: Wikipedia ARGH Power Ratings, ARGH Power Ratings (definition). Also Wikidata Q4653682

History

2026-11-02: add by m2/dev

Vidyadhar P. Godambe 9WZHHZ2AVV

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

Mentions

wikipedia: Wikipedia Vidyadhar P. Godambe, Vidyadhar P. Godambe (topic). Also Wikidata Q65659127

History

2026-11-02: add by m2/dev

Statement 9WZNT665XQ

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

Mentions

wikipedia: Wikipedia Banach–Alaoglu theorem#VU1F, Statement (statement)

History

2026-11-02: add by m2/dev

connective 9WZQ1MJJSW

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#1Y28, connective (definition)

History

2026-11-02: add by m2/dev

9WZRQ4DB7N 9WZRQ4DB7N

URI	`m2://inv/9WZRQ4DB7N`
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.17677#7XPI (statement). In 5E9G06XJKC/e1, lemma D.13

History

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

Cayleyan 9WZSGRAY71

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

Mentions

wikipedia: Wikipedia Cayleyan, Cayleyan (definition). Also Wikidata Q5055328

History

2026-11-02: add by m2/dev