Inventory rows VN

VN045X370W VN045X370W

URI	`m2://inv/VN045X370W`
Kind	statement
Layer	research
MSC	60-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 2609.34570#0T75 (statement). In EVFX1R7ZDD/e1, theorem 11

History

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

Theorems VN049E6V17

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

Mentions

wikipedia: Wikipedia Rectangle#FJ42, Theorems (statement)

History

2026-11-02: add by m2/dev

VN0SW383TQ VN0SW383TQ

URI	`m2://inv/VN0SW383TQ`
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.04809#DYYL (statement). In 2VHV0RNTNV/e1, lemma 3.13

History

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

VN0XJBDMPC VN0XJBDMPC

URI	`m2://inv/VN0XJBDMPC`
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 2609.26600#S1NM (definition)

History

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

VN10PSRVQH VN10PSRVQH

URI	`m2://inv/VN10PSRVQH`
Kind	statement
Layer	research
MSC	14-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 2211.10178#QAN2 (statement). In 8T90H89HNB/e1, theorem

History

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

VN131QM26Z VN131QM26Z

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

Mentions

active_calculus: active_calculus source/sec-7-5-modeling.xml#Ex-7-5-1 (example). In 907G4C4EJ1, example, section 7.5.2

History

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

quantifier VN15TJW6XC

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

Mentions

hott_book: hott_book index/9.7/quantifier, quantifier (concept). In N54F33XE07, index, section 9.7

History

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

Richard A. Tapia VN1A3VWXBV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#R1RS, Richard A. Tapia (topic)

History

2026-11-02: add by m2/dev

Grand mean VN1HGVFZEC

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

Mentions

wikipedia: Wikipedia Grand mean, Grand mean (definition). Also Wikidata Q5595264

History

2026-11-02: add by m2/dev

Observability VN1M9HMBNW

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

Mentions

wikipedia: Wikipedia List of dualities#999R, Observability (definition)

History

2026-11-02: add by m2/dev

Perfect digit-to-digit invariant VN1SHV1P6Q

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

Mentions

wikipedia: Wikipedia List of recreational number theory topics#3G4W, Perfect digit-to-digit invariant (definition)

History

2026-11-02: add by m2/dev

Binet formula VN1VJD2C2H

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

Mentions

wikipedia: Wikipedia Perrin number#D4TY, Binet formula (statement)

History

2026-11-02: add by m2/dev

Distinct degree factorization VN1XHEJCWT

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

Mentions

wikipedia: Wikipedia Factorization of polynomials over finite fields#0UZ0, Distinct degree factorization (unknown)

History

2026-11-02: add by m2/dev

sagitta VN1ZBJYP7A

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

Mentions

wikidata: Wikidata Q2951719, sagitta (unknown). Also MathWorld Sagitta
wikipedia: Wikipedia Sagitta (geometry), Sagitta (definition). Also Wikidata Q2951719

History

2026-10-26: add by m2/dev

Applications VN21NNBE7X

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

Mentions

wikipedia: Wikipedia Degenerate conic#222K, Applications (example)

History

2026-11-02: add by m2/dev

VN22TTTKDX VN22TTTKDX

URI	`m2://inv/VN22TTTKDX`
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.10406#0UGY (statement). In VQA35Q7C00/e1, lemma 5.1

History

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

Definitions VN286XZYPN

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

Mentions

wikipedia: Wikipedia Unrooted binary tree#CC2E, Definitions (definition)

History

2026-11-02: add by m2/dev

Construction VN29KEQAJM

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

Mentions

wikipedia: Wikipedia Hexafoil#P8QA, Construction (definition)

History

2026-11-02: add by m2/dev

VN2B534S6B VN2B534S6B

URI	`m2://inv/VN2B534S6B`
Kind	statement
Layer	research
MSC	16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31907#6DYZ (statement). In 6B2PCEGCYZ/e1, proposition 7.5

History

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

drawing of a graph, planar VN2GTEWTFC

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

Mentions

applied_combinatorics: applied_combinatorics index/5.5/drawing-of-a-graph-planar, drawing of a graph, planar (concept). In QKM9DD2H56, index, section 5.5

History

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

VN2JDKYYFR VN2JDKYYFR

URI	`m2://inv/VN2JDKYYFR`
Kind	definition
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 2104.00162#8765 (definition). In HVGT9D84WV/e1, definition 2.13

History

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

Prim–Read theory VN2TDD3V9W

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

Mentions

wikipedia: Wikipedia Prim–Read theory, Prim–Read theory (definition). Also Wikidata Q65050530

History

2026-11-02: add by m2/dev

Goro Shimura VN34RTBZJ5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#9YJY, Goro Shimura (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6EQP, Goro Shimura (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JE8B, Goro Shimura (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OUMS, Goro Shimura (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QFRR, Goro Shimura (topic)

History

2026-11-02: add by m2/dev

VN35AVGPZ4 VN35AVGPZ4

URI	`m2://inv/VN35AVGPZ4`
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.28454#L9EB (statement)

History

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

Gibbard's theorem VN371E6NMD

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

Mentions

wikipedia: Wikipedia Gibbard's theorem, Gibbard's theorem (statement). Also Wikidata Q29479399

History

2026-11-02: add by m2/dev

VN38HXJQ8T VN38HXJQ8T

URI	`m2://inv/VN38HXJQ8T`
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.20881#7U0D (statement)

History

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

VN3A53HY3G VN3A53HY3G

URI	`m2://inv/VN3A53HY3G`
Kind	statement
Layer	research
MSC	11-XX, 14-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.24701#MUH5 (statement)

History

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

Pandas VN3AJEFVS5

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

Mentions

wikipedia: Wikipedia List of statistical software#HYJL, Pandas (unknown)

History

2026-11-02: add by m2/dev

Universal small-dispersion asymptotics near the gradient catastrophe point, \protect VN3D6P38Q2

URI	`m2://inv/VN3D6P38Q2`
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.00770#127W, Universal small-dispersion asymptotics near the gradient catastrophe point, \protect (statement). In AYGRJSRG1M/e1, theorem

History

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

Coalescent theory VN3FRJT5QK

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

Mentions

wikipedia: Wikipedia List of statistics articles#E4KI, Coalescent theory (definition)

History

2026-11-02: add by m2/dev

Morris H. Hansen VN3JV93QE3

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

Mentions

wikipedia: Wikipedia Morris H. Hansen, Morris H. Hansen (topic). Also Wikidata Q6913720

History

2026-11-02: add by m2/dev

Second Domination Zagreb Index VN3K7FR4M0

URI	`m2://inv/VN3K7FR4M0`
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#NUW3, Second Domination Zagreb Index (definition). In 9Z5M655EPV/e1, definition 2.3

History

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

VN3NVWZ1EA VN3NVWZ1EA

URI	`m2://inv/VN3NVWZ1EA`
Kind	definition
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.25289#0NAS (definition)

History

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

VN3WHV8BB3 VN3WHV8BB3

URI	`m2://inv/VN3WHV8BB3`
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.01753#DMFG (statement). In JY50YXMH5N/e1, lemma 49

History

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

VN40QYDCNE VN40QYDCNE

URI	`m2://inv/VN40QYDCNE`
Kind	statement
Layer	research
MSC	17-XX, 46-XX, 47-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 math/0009023#UKYA (statement). In S937GXH9AS/e1, theorem 2.1

History

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

Example VN4ZXGEMBW

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

Mentions

wikipedia: Wikipedia QR decomposition#Q0U5, Example (example)

History

2026-11-02: add by m2/dev

VN51M0QQS7 VN51M0QQS7

URI	`m2://inv/VN51M0QQS7`
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.07828#33GD (statement). In TWGMVT1N1G/e1, corollary 6.7

History

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

VN5EWM6XG5 VN5EWM6XG5

URI	`m2://inv/VN5EWM6XG5`
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.15881#UVQR (statement). In RK0JCSYK33/e1, lemma 2.1

History

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

VN5G3G9JBA VN5G3G9JBA

URI	`m2://inv/VN5G3G9JBA`
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.15881#WGOB (statement). In RK0JCSYK33/e1, lemma 1.4

History

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

VN5HM4VE15 VN5HM4VE15

URI	`m2://inv/VN5HM4VE15`
Kind	definition
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.10330#RIA3 (definition). In CDXQHNX1P8/e1, definition 2.1

History

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

Substitution box VN5RC41SJP

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

Mentions

wikipedia: Wikipedia List of permutation topics#QUZL, Substitution box (definition)

History

2026-11-02: add by m2/dev

Presentable ∞-category VN5RS5DNCK

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

Mentions

wikipedia: Wikipedia Quasi-category#GUQM, Presentable ∞-category (unknown)

History

2026-11-02: add by m2/dev

Converse of the gradient theorem VN5STB9W5S

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

Mentions

wikipedia: Wikipedia Gradient theorem#50QM, Converse of the gradient theorem (statement)

History

2026-11-02: add by m2/dev

Applications VN64A25YEA

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

Mentions

wikipedia: Wikipedia ADM formalism#J4JV, Applications (example)

History

2026-11-02: add by m2/dev

VN67YY6C8Y VN67YY6C8Y

URI	`m2://inv/VN67YY6C8Y`
Kind	definition
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 1009.2047#36HJ (definition). In F3MWRNBNED/e1, definition 4.1

History

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

VN6AM18KZJ VN6AM18KZJ

URI	`m2://inv/VN6AM18KZJ`
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 2609.28824#MAN2 (statement)

History

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

Uniform Riccati and closed-loop estimates VN6C3HT1K8

URI	`m2://inv/VN6C3HT1K8`
Kind	statement
Layer	research
MSC	37-XX, 49-XX, 62-XX, 65-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.23927#SJKR, Uniform Riccati and closed-loop estimates (statement)

History

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

Jules Henri Poincaré VN6EC1RY1G

URI	`m2://inv/VN6EC1RY1G`
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#SDRO, Jules Henri Poincaré (topic)

History

2026-11-02: add by m2/dev

Gustave Malécot VN6HT2XPDN

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

Mentions

wikipedia: Wikipedia Gustave Malécot, Gustave Malécot (topic). Also Wikidata Q1228886

History

2026-11-02: add by m2/dev

Quantum couplings VN6JFEC2GF

URI	`m2://inv/VN6JFEC2GF`
Kind	definition
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01855#ATEU, Quantum couplings (definition). In MM8P5CJR18/e1, definition 3.7

History

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

Bipartite matroid VN6KZD9FYB

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

Mentions

wikipedia: Wikipedia Bipartite matroid, Bipartite matroid (definition). Also Wikidata Q4915411

History

2026-11-02: add by m2/dev

Three Hills VN6WDHEZ30

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

Mentions

wikipedia: Wikipedia List of places with numeric names#DQWM, Three Hills (unknown)

History

2026-11-02: add by m2/dev

VN7217HJNV VN7217HJNV

URI	`m2://inv/VN7217HJNV`
Kind	statement
Layer	research
MSC	60-XX, 62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22240#UM47 (statement)

History

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

Q-sentence VN76QPJARV

URI	`m2://inv/VN76QPJARV`
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 2604.19614#1Z9N, Q-sentence (definition). In F5NDAFW801/e1, definition 1

History

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

hypoelliptic VN7M70CW56

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#D3NE, hypoelliptic (definition)

History

2026-11-02: add by m2/dev

VN7P1STS5X VN7P1STS5X

URI	`m2://inv/VN7P1STS5X`
Kind	definition
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.01475#0AKW (definition). In A7VJF2FYSD/e1, definition 1

History

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

Example VN7YSVV9ZV

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

Mentions

wikipedia: Wikipedia Pseudo-R-squared#OMNP, Example (example)

History

2026-11-02: add by m2/dev

classical, category theory VN84R1M2JY

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

Mentions

hott_book: hott_book index/2.2/classical-category-theory, classical, category theory (concept). In N54F33XE07, index, section 2.2

History

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

Hierarchy theorems VN869RQ9X1

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

Mentions

wikipedia: Wikipedia Complexity class#51DA, Hierarchy theorems (statement)

History

2026-11-02: add by m2/dev

VN86WDXWRG VN86WDXWRG

URI	`m2://inv/VN86WDXWRG`
Kind	statement
Layer	research
MSC	17-XX, 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 2209.00811#WY2F (statement). In 9T4X83HHQS/e1, lemma 5.1

History

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

submanifold, complex VN8HZBRK7Q

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

Mentions

lebl_scv: lebl_scv index/6.5/submanifold-complex, submanifold, complex (concept). In VNMV985MXX, index, section 6.5

History

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

Siegel–Weil formula VN8K14PQK0

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

Mentions

wikipedia: Wikipedia List of things named after André Weil#BGD5, Siegel–Weil formula (statement)

History

2026-11-02: add by m2/dev

VN8WJPAV8E VN8WJPAV8E

URI	`m2://inv/VN8WJPAV8E`
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 2104.05191#TMYX (statement). In CCNH3FK8YZ/e1, corollary 4.6

History

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

concavity VN8XB61PXR

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

Mentions

wikidata: Wikidata Q52927916, concavity (unknown). Also MathWorld concave

History

2026-10-26: add by m2/dev

VN93EJQHR0 VN93EJQHR0

URI	`m2://inv/VN93EJQHR0`
Kind	statement
Layer	research
MSC	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 2303.09207#98TN (statement). In 9DQKY7KGE8/e1, proposition 6.40

History

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

VN96WP09PQ VN96WP09PQ

URI	`m2://inv/VN96WP09PQ`
Kind	problem
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#B4FV (problem). In 79H1DEK4M9/e1, problem 1

History

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

N-dimensional coordinate system VN96ZKW6FD

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

Mentions

wikipedia: Wikipedia Coordinate system#NCON, N-dimensional coordinate system (unknown)

History

2026-11-02: add by m2/dev

VN9918BHEC VN9918BHEC

URI	`m2://inv/VN9918BHEC`
Kind	statement
Layer	research
MSC	17-XX, 57-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.10262#B4QH (statement). In MVSGDTN2PB/e1, corollary 6.2

History

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

Properties VN9CWBRFQ3

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

Mentions

wikipedia: Wikipedia Natural numbers object#KDAN, Properties (statement)

History

2026-11-02: add by m2/dev

860 (number) VN9HHX2NDY

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

Mentions

wikipedia: Wikipedia 800 (number)#VVUM, 860 (number) (unknown)

History

2026-11-02: add by m2/dev

Robert V. Hogg VN9MG8E322

URI	`m2://inv/VN9MG8E322`
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#7RDA, Robert V. Hogg (topic)

History

2026-11-02: add by m2/dev

VN9VBVJCCD VN9VBVJCCD

URI	`m2://inv/VN9VBVJCCD`
Kind	statement
Layer	research
MSC	51-XX, 52-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.27931#D8DF (statement)

History

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

VN9XHJQ2TA VN9XHJQ2TA

URI	`m2://inv/VN9XHJQ2TA`
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 2504.09464#35CU (statement). In RN1XRCS2CH/e1, corollary 22

History

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

Regret-acceptable action set VN9Y3MWJE3

URI	`m2://inv/VN9Y3MWJE3`
Kind	definition
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.11038#DJ20, Regret-acceptable action set (definition). In RY8QBYR4SE/e1, definition 2.1

History

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

VN9Z053DEF VN9Z053DEF

URI	`m2://inv/VN9Z053DEF`
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 2102.12931#PUGE (statement). In PQHTR84RAJ/e1, lemma 6.2

History

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

Yoneda lemma VNA291KGS1

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

Mentions

wikipedia: Wikipedia Natural transformation#E0NK, Yoneda lemma (statement)

History

2026-11-02: add by m2/dev

VNAB286Y8F VNAB286Y8F

URI	`m2://inv/VNAB286Y8F`
Kind	statement
Layer	research
MSC	20-XX, 22-XX, 46-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.27192#TBWN (statement)

History

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

Extensions VNAMFAKRXA

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

Mentions

wikipedia: Wikipedia Mokken scale#7O3S, Extensions (statement)

History

2026-11-02: add by m2/dev

VNAVB4TY7A VNAVB4TY7A

URI	`m2://inv/VNAVB4TY7A`
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 2610.22074#M33V (statement). In F3BKXXPR3K/e1, lemma A.6

History

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

VNB45Z56BB VNB45Z56BB

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

Mentions

wikipedia: Wikipedia Multiplication algorithm#DNQZ (problem)

History

2026-11-02: add by m2/dev

Haar two-copy twirl, with its elementary commutant proof VNB5VDF8JA

URI	`m2://inv/VNB5VDF8JA`
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#F6CP, Haar two-copy twirl, with its elementary commutant proof (statement). In 1QSV7EQE3T/e1, lemma S83

History

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

VNB6S9F3YY VNB6S9F3YY

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#problem-1 (exercise). In P1C114YBXG, problem, section 1.1

History

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

Sperner VNB7RGWWKT

URI	`m2://inv/VNB7RGWWKT`
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.30336#S300, Sperner (statement). In CCWHTB3911/e1, theorem 1.1

History

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

Cesàro's theorem VNB93GN4SX

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

Mentions

wikipedia: Wikipedia List of theorems#CUZB, Cesàro's theorem (definition)

History

2026-11-02: add by m2/dev

Inverse trigonometric functions VNBRQGJCET

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

Mentions

wikipedia: Wikipedia List of triangle topics#KEZZ, Inverse trigonometric functions (definition)

History

2026-11-02: add by m2/dev

Properties VNBSPH1X24

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

Mentions

wikipedia: Wikipedia Semilinear map#4UZ5, Properties (statement)

History

2026-11-02: add by m2/dev

Seismic anisotropy VNBTX57C26

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

Mentions

wikipedia: Wikipedia Seismic anisotropy, Seismic anisotropy (definition). Also Wikidata Q17105691

History

2026-11-02: add by m2/dev

VNBYYG1VWX VNBYYG1VWX

URI	`m2://inv/VNBYYG1VWX`
Kind	statement
Layer	research
MSC	46-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.20542#OQNI (statement). In 8PZXZ8Y9FK/e1, theorem 5.2

History

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

Lowrie Hofford VNC2JHFEGQ

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

Mentions

wikipedia: Wikipedia Muhlenberg College#40G0, Lowrie Hofford (unknown)

History

2026-11-02: add by m2/dev

Rad\'o VNCBVB8R8Q

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:rado, Rad\'o (statement). In VNMV985MXX, thm, section 2.4

History

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

cardinal number, multiplication of VNCMAS9FB4

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

Mentions

hott_book: hott_book index/C.2/cardinal-number-multiplication-of, cardinal number, multiplication of (concept). In N54F33XE07, index, section C.2

History

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

VNCXDXQRSE VNCXDXQRSE

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

Mentions

arxiv: arXiv 2610.13680#4PUL (unknown). In QNBFHFZ3H0/e1, unknown 137

History

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

VNDEJPQKN4 VNDEJPQKN4

URI	`m2://inv/VNDEJPQKN4`
Kind	statement
Layer	research
MSC	05-XX, 13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2504.02065#6G5V (statement). In 60CK7P5F36/e1, corollary 3.8

History

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

VNDMRDM887 VNDMRDM887

URI	`m2://inv/VNDMRDM887`
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.11974#TYK3 (statement). In AW6S4XZ9ZZ/e1, lemma 7.2

History

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

VNDRVBYCA3 VNDRVBYCA3

URI	`m2://inv/VNDRVBYCA3`
Kind	definition
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 2608.23797#IBR7 (definition). In PZCA01JXVR/e1, definition 7.4

History

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

Algorithms VNDT1TEB0X

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

Mentions

wikipedia: Wikipedia Reachability#WZ1G, Algorithms (definition)

History

2026-11-02: add by m2/dev

Rectified truncated tetrahedron VNDTCTAHCH

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

Mentions

wikipedia: Wikipedia Rectified truncated tetrahedron, Rectified truncated tetrahedron (object). Also Wikidata Q18393745

History

2026-11-02: add by m2/dev

VNDV4HCXYM VNDV4HCXYM

URI	`m2://inv/VNDV4HCXYM`
Kind	statement
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#DISM (statement). In Y1DR0DPWD0/e1, theorem 6.3

History

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

Bochner integral VNDVB6515E

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

Mentions

wikipedia: Wikipedia Bochner integral, Bochner integral (definition). Also Wikidata Q889019

History

2026-11-02: add by m2/dev

VNDYQH7HSA VNDYQH7HSA

URI	`m2://inv/VNDYQH7HSA`
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.05427#F23X (statement). In 4VC60HRHH9/e1, theorem 1.1

History

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

Improved cumulant bounds VNE767WTWJ

URI	`m2://inv/VNE767WTWJ`
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#PPF5, Improved cumulant bounds (statement). In YXRKS451PK/e1, lemma A.2

History

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

VNEDBN0D1H VNEDBN0D1H

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#definition-4 (definition). In P1C114YBXG, definition, section D

History

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

VNEE9Z0BEJ VNEE9Z0BEJ

URI	`m2://inv/VNEE9Z0BEJ`
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.37794#O1J1 (statement). In ACFC6XHAMQ/e1, lemma 8

History

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

VNEEQR6T4N VNEEQR6T4N

URI	`m2://inv/VNEEQR6T4N`
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.10452#1VHX (statement). In 2F4PNP1V3B/e1, theorem 5.1

History

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

Great snub icosidodecahedron VNEF9CWAVH

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#G56E, Great snub icosidodecahedron (object)

History

2026-11-02: add by m2/dev

Ekman Effect VNEFPJBAWH

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

Mentions

wikipedia: Wikipedia Ekman transport#9T5M, Ekman Effect (unknown)

History

2026-11-02: add by m2/dev

Stochastic monotonicity of centers VNEVBX8SBB

URI	`m2://inv/VNEVBX8SBB`
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.08821#2NG2, Stochastic monotonicity of centers (statement). In KP1THB2C09/e1, proposition 2.9

History

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

VNEXKHBP79 VNEXKHBP79

URI	`m2://inv/VNEXKHBP79`
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.20145#JULF (statement)

History

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

Conjectures related to motives VNEXNCF51Z

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

Mentions

wikipedia: Wikipedia Motive (algebraic geometry)#4CJN, Conjectures related to motives (statement)

History

2026-11-02: add by m2/dev

VNF5A88R37 VNF5A88R37

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

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 53.4

History

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

Webbed space VNFK3BBT3W

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

Mentions

wikipedia: Wikipedia Webbed space, Webbed space (definition). Also Wikidata Q1317594

History

2026-11-02: add by m2/dev

Class VNFQTQG7SR

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

Mentions

wikipedia: Wikipedia Class (philosophy), Class (definition). Also Wikidata Q5127848

History

2026-11-02: add by m2/dev

Michael Drmota VNFSDMSJWH

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

Mentions

wikipedia: Wikipedia Michael Drmota, Michael Drmota (topic). Also Wikidata Q1927311

History

2026-11-02: add by m2/dev

VNG0YYERY7 VNG0YYERY7

URI	`m2://inv/VNG0YYERY7`
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.11997#DX3L (statement). In REVYK9ZEP2/e1, theorem 1

History

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

Example VNG1J05GTY

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

Mentions

wikipedia: Wikipedia Hartman–Grobman theorem#DMC9, Example (example)

History

2026-11-02: add by m2/dev

Multiplication theorems VNG5J9DA0W

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

Mentions

wikipedia: Wikipedia Meijer G-function#M2KI, Multiplication theorems (statement)

History

2026-11-02: add by m2/dev

Martin Barner VNGAC6A9N3

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

Mentions

wikipedia: Wikipedia Martin Barner, Martin Barner (topic). Also Wikidata Q105836

History

2026-11-02: add by m2/dev

VNGDZKGXHK VNGDZKGXHK

URI	`m2://inv/VNGDZKGXHK`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-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.35605#LFGL (statement). In X1KWTAA3M2/e1, proposition 1.8

History

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

Geoffrey Watson VNGHSM6T3F

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

Mentions

wikipedia: Wikipedia Geoffrey Watson, Geoffrey Watson (topic). Also Wikidata Q5534958

History

2026-11-02: add by m2/dev

VNGR9TCBQX VNGR9TCBQX

URI	`m2://inv/VNGR9TCBQX`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09201#8FGV (statement). In JQFPH09JG8/e1, lemma 9.3

History

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

Epstein zeta function VNGVZ77WBJ

URI	`m2://inv/VNGVZ77WBJ`
Kind	definition
Layer	research
MSC	11-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.28282#36AR, Epstein zeta function (definition)

History

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

Ralph S. Phillips VNGYPGD4HQ

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

Mentions

wikipedia: Wikipedia Ralph S. Phillips, Ralph S. Phillips (topic). Also Wikidata Q1299250

History

2026-11-02: add by m2/dev

VNGYQ1WM4G VNGYQ1WM4G

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

Mentions

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

History

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

Implementation VNGZZXF9P4

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

Mentions

wikipedia: Wikipedia Programming language#USDE, Implementation (definition)

History

2026-11-02: add by m2/dev

Apeirotope VNH11FW7NM

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

Mentions

wikipedia: Wikipedia Apeirotope, Apeirotope (object). Also Wikidata Q25080685

History

2026-11-02: add by m2/dev

Sharp constants VNH2ZTKMEZ

URI	`m2://inv/VNH2ZTKMEZ`
Kind	statement
Layer	research
MSC	35-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 2610.05421#7W37, Sharp constants (statement). In 4R1MMSAAVK/e1, theorem 2.1

History

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

VNH5EE5RGZ VNH5EE5RGZ

URI	`m2://inv/VNH5EE5RGZ`
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#BNT3 (statement). In 5XKHZKEGAF/e1, corollary 3.11

History

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

VNH65QC9VJ VNH65QC9VJ

URI	`m2://inv/VNH65QC9VJ`
Kind	statement
Layer	research
MSC	05-XX, 13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21866#KR8O (statement). In Q3NMYW8ANH/e1, lemma 1.9

History

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

VNH7VEZZSM VNH7VEZZSM

URI	`m2://inv/VNH7VEZZSM`
Kind	problem
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.09482#78D9 (problem). In VYMEQQVMBD/e1, problem

History

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

VNH8CVHXP9 VNH8CVHXP9

URI	`m2://inv/VNH8CVHXP9`
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#PFNY (statement). In G02N9D40B9/e1, lemma 3.2.3

History

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

stratifold VNH9NFNFBY

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

Mentions

wikidata: Wikidata Q7622195, stratifold (unknown). Also nLab stratifold
wikipedia: Wikipedia Stratifold, Stratifold (definition). Also Wikidata Q7622195

History

2026-10-26: add by m2/dev

VNHBHKR8ME VNHBHKR8ME

URI	`m2://inv/VNHBHKR8ME`
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 2610.21544#QH5E (statement). In 5FMMWKNYWW/e1, theorem 2.2

History

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

VNHHPFKDAW VNHHPFKDAW

URI	`m2://inv/VNHHPFKDAW`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20190#7DAX (statement)

History

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

Power-law limits VNHYW19TN2

URI	`m2://inv/VNHYW19TN2`
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.19930#GZ94, Power-law limits (statement). In 7J7F22NVHM/e1, corollary 1.4

History

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

VNJ56ZJ9YM VNJ56ZJ9YM

URI	`m2://inv/VNJ56ZJ9YM`
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 2104.04145#MW8I (statement). In 7TNHVC586V/e1, theorem 1

History

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

Construction VNJ5Z7A5M2

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

Mentions

wikipedia: Wikipedia Cantellated 24-cells#3ZQN, Construction (definition)

History

2026-11-02: add by m2/dev

Examples VNJ6QKYQEQ

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

Mentions

wikipedia: Wikipedia Level set#MND1, Examples (example)

History

2026-11-02: add by m2/dev

VNJFMFH5D6 VNJFMFH5D6

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 4.1.1

History

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

Examples and counterexamples VNJVSV9ETH

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

Mentions

wikipedia: Wikipedia Negation normal form#J88L, Examples and counterexamples (example)

History

2026-11-02: add by m2/dev

Geometric distribution VNK00WS8CY

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

Mentions

wikipedia: Wikipedia List of probability distributions#3E4K, Geometric distribution (definition)

History

2026-11-02: add by m2/dev

A hyperplane and a quadric in $\operatorname{LG}(3,6)$ VNK4X1377J

URI	`m2://inv/VNK4X1377J`
Kind	example
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#PMKV, A hyperplane and a quadric in $\operatorname{LG}(3,6)$ (example)

History

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

VNKQBSMX01 VNKQBSMX01

URI	`m2://inv/VNKQBSMX01`
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#13N1 (statement)

History

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

VNKSTJ2WFF VNKSTJ2WFF

URI	`m2://inv/VNKSTJ2WFF`
Kind	conjecture
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#XYJE (conjecture). In 8V6YECFCC1/e1, conjecture 5.1

History

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

Rape in Canada VNKVP48N7E

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

Mentions

wikipedia: Wikipedia Rape statistics#O1KI, Rape in Canada (unknown)

History

2026-11-02: add by m2/dev

VNKXN7YKSV VNKXN7YKSV

URI	`m2://inv/VNKXN7YKSV`
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.34516#GHLO (statement). In ECKK8RR78E/e1, lemma 2.5

History

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

Coefficient of colligation VNKXRH92W1

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

Mentions

wikipedia: Wikipedia Coefficient of colligation, Coefficient of colligation (definition). Also Wikidata Q4022339

History

2026-11-02: add by m2/dev

VNM793JEE0 VNM793JEE0

URI	`m2://inv/VNM793JEE0`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20522#AXSI (statement)

History

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

VNMKSXWB12 VNMKSXWB12

URI	`m2://inv/VNMKSXWB12`
Kind	definition
Layer	research
MSC	17-XX, 18-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 2304.07398#4MH1 (definition). In JS5FKV1S9T/e1, definition D.2

History

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

VNMMZ3MSQ4 VNMMZ3MSQ4

URI	`m2://inv/VNMMZ3MSQ4`
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.31604#03A9 (statement). In GSN5YTQS2K/e1, lemma 3.8

History

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

Principle of recursive definition VNMS423GM9

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

Mentions

wikipedia: Wikipedia Recursive definition#MA0E, Principle of recursive definition (definition)

History

2026-11-02: add by m2/dev

Examples VNMSC5FFNX

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

Mentions

wikipedia: Wikipedia Dyck language#8N1B, Examples (example)

History

2026-11-02: add by m2/dev

Michael Katehakis VNMTDAMMP3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#XNNR, Michael Katehakis (unknown)

History

2026-11-02: add by m2/dev

Algebraic structure VNMTNMRTZ8

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#CR3F, Algebraic structure (definition)
wikipedia: Wikipedia List of abstract algebra topics#K2OP, Algebraic structure (definition)

History

2026-11-02: add by m2/dev

Completions in category theory VNMTTKJKEN

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

Mentions

wikipedia: Wikipedia Completions in category theory, Completions in category theory (definition). Also Wikidata Q128199302

History

2026-11-02: add by m2/dev

Long windows VNMYFF09A3

URI	`m2://inv/VNMYFF09A3`
Kind	statement
Layer	research
MSC	60-XX, 62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38268#8O87, Long windows (statement). In TQ18V9TDQS/e1, theorem 5.9

History

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

Regret Bound and Constraint Violation VNN221FH83

URI	`m2://inv/VNN221FH83`
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 2306.00212#JU90, Regret Bound and Constraint Violation (statement). In C9GG9C1X65/e1, theorem 2

History

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

VNN5G4QQ1Q VNN5G4QQ1Q

URI	`m2://inv/VNN5G4QQ1Q`
Kind	example
Layer	research
MSC	13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37967#44VP (example). In BR2E3CXQE0/e1, example 3.1

History

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

Normalized sector representation VNN86HP6WR

URI	`m2://inv/VNN86HP6WR`
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.00396#SWWH, Normalized sector representation (statement). In V13TE1RWT9/e1, proposition 10.2

History

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

VNNW06KM9T VNNW06KM9T

URI	`m2://inv/VNNW06KM9T`
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.05784#WQOX (statement). In 6NVP3YRWVA/e1, corollary 2.25

History

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

word-representable VNNW3N9ZTC

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#IIJN, word-representable (definition)

History

2026-11-02: add by m2/dev

VNP4WR2NXY VNP4WR2NXY

URI	`m2://inv/VNP4WR2NXY`
Kind	definition
Layer	research
MSC	11-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11905#TDZX (definition). In QQFXT31CA5/e1, definition 3.3

History

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

VNPBYMRC1C VNPBYMRC1C

URI	`m2://inv/VNPBYMRC1C`
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.04323#BI3W (statement). In 3Z0D2NCJ0B/e1, lemma 15

History

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

VNPH4PCMBP VNPH4PCMBP

URI	`m2://inv/VNPH4PCMBP`
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 2610.02585#EW9I (statement). In V0KBBY82SY/e1, corollary 7.2

History

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

Several simultaneous excess variables VNPQHQQBC4

URI	`m2://inv/VNPQHQQBC4`
Kind	statement
Layer	research
MSC	05-XX, 13-XX, 14-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 2609.29683#V8L6, Several simultaneous excess variables (statement)

History

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

invertible element VNPXGBC53V

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

Mentions

wikidata: Wikidata Q67474638, invertible element (unknown). Also MathWorld InvertibleElement

History

2026-10-26: add by m2/dev

L\'evy-Desplanques, see e.g.\ VNQ3R80NGK

URI	`m2://inv/VNQ3R80NGK`
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.06141#S72U, L\'evy-Desplanques, see e.g.\ (statement). In YA6JD3JHQS/e1, theorem 2.1

History

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

Exact small-divisor saving VNQ8DQDNSA

URI	`m2://inv/VNQ8DQDNSA`
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.37164#70NN, Exact small-divisor saving (statement). In B2PG75FSQJ/e1, proposition 6.1

History

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

counterfactual logic VNQ9G94612

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

Mentions

wikipedia: Wikipedia Glossary of logic#8C5G, counterfactual logic (definition)

History

2026-11-02: add by m2/dev

VNQB5XP14X VNQB5XP14X

URI	`m2://inv/VNQB5XP14X`
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.22825#FF9K (statement)

History

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

VNQGY1ZAFG VNQGY1ZAFG

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#example-9 (example). In E59CDZA4DP, example, section 2.3.1

History

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

VNQJD4WT2Y VNQJD4WT2Y

URI	`m2://inv/VNQJD4WT2Y`
Kind	definition
Layer	research
MSC	05-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.22708#DCFF (definition)

History

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

Odd heaps VNQRAH605J

URI	`m2://inv/VNQRAH605J`
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.06925#6FJV, Odd heaps (statement). In P0NV7337EK/e1, lemma 2.1

History

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

rule of replacement VNQS9J8FRR

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

Mentions

wikipedia: Wikipedia Glossary of logic#4LC5, rule of replacement (definition)

History

2026-11-02: add by m2/dev

VNQXR5N1KZ VNQXR5N1KZ

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-23 (exercise). In QKM9DD2H56, exercise, section 5

History

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

VNR639DV2N VNR639DV2N

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

History

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

VNR6AJSPGD VNR6AJSPGD

URI	`m2://inv/VNR6AJSPGD`
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.10078#A2C5 (statement). In YVGRZK1HRS/e1, corollary 4.14

History

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

Quasi-finite morphism VNR782QECN

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#JKN1, Quasi-finite morphism (definition)

History

2026-11-02: add by m2/dev

Categorical quotient VNRFVSFYK1

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

Mentions

wikipedia: Wikipedia Categorical quotient, Categorical quotient (definition). Also Wikidata Q17097821

History

2026-11-02: add by m2/dev

Mark Demers VNRJ78D2JT

URI	`m2://inv/VNRJ78D2JT`
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#JXHU, Mark Demers (unknown)

History

2026-11-02: add by m2/dev

Kleinian group VNRMNSFAZ4

URI	`m2://inv/VNRMNSFAZ4`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Kleinian group 27QRARKWD5

Mentions

wikidata: Wikidata Q4116484, Kleinian group (concept). Also MathWorld KleinianGroup, nLab Kleinian group
wikipedia: Wikipedia Kleinian group, Kleinian group (definition). Also Wikidata Q4116484

History

2026-10-26: add by m2/dev

VNRXXRQ2Z3 VNRXXRQ2Z3

URI	`m2://inv/VNRXXRQ2Z3`
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.07608#2A5S (statement). In X8FQD4TEVG/e1, lemma 2.2

History

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

VNRY2XG19G VNRY2XG19G

URI	`m2://inv/VNRY2XG19G`
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.40282#E75O (statement). In P86RWY99S2/e1, theorem 2.1.7

History

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

Kernel recovery by VI VNS22JVX3F

URI	`m2://inv/VNS22JVX3F`
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 2411.02694#PW40, Kernel recovery by VI (statement). In A8EK2ARN5Q/e1, theorem 4.5

History

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

polar sine VNS23V3KXA

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

Mentions

wikidata: Wikidata Q7209101, polar sine (concept). Also MathWorld PolarSine
wikipedia: Wikipedia Polar sine, Polar sine (definition). Also Wikidata Q7209101

History

2026-10-26: add by m2/dev

Finite flat spectral pieces VNSAGNBFPF

URI	`m2://inv/VNSAGNBFPF`
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.05652#EVN1, Finite flat spectral pieces (statement). In 8BNPFYQDQX/e1, theorem 8.5

History

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

VNSBW7JH6M VNSBW7JH6M

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

Mentions

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

History

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

VNSEPK92D5 VNSEPK92D5

URI	`m2://inv/VNSEPK92D5`
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.07530#33I7 (statement). In C7QZ0VPBC8/e1, theorem 1.7

History

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

VNSQT6NVZA VNSQT6NVZA

URI	`m2://inv/VNSQT6NVZA`
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 2409.20170#CROH (statement). In QXJP79APHN/e1, corollary 2.17

History

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

VNSTYH5SA2 VNSTYH5SA2

URI	`m2://inv/VNSTYH5SA2`
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.13114#FMDB (statement). In 38RG49M1NB/e1, theorem 2.2

History

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

Crystallographic point group VNT1GPPQ11

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

Mentions

wikipedia: Wikipedia List of group theory topics#X90A, Crystallographic point group (definition)

History

2026-11-02: add by m2/dev

avoirdupois VNT730Q08K

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

Mentions

wikidata: Wikidata Q791259, avoirdupois (definition). Also ProofWiki Definition:Avoirdupois

History

2026-10-26: add by m2/dev

VNTACBF0N9 VNTACBF0N9

URI	`m2://inv/VNTACBF0N9`
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.32374#S1E3 (statement). In 96D6N9AXQM/e1, corollary 2.8

History

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

Henry Gordon Rice VNTAPF3FG3

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

Mentions

wikipedia: Wikipedia Henry Gordon Rice, Henry Gordon Rice (topic). Also Wikidata Q1606793

History

2026-11-02: add by m2/dev

Music of the Spheres (Touch) VNTEA6PJ1P

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

Mentions

wikipedia: Wikipedia Touch (American TV series)#15OC, Music of the Spheres (Touch) (unknown)

History

2026-11-02: add by m2/dev

Construction VNTH7D11ZH

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

Mentions

wikipedia: Wikipedia Hurwitz's automorphisms theorem#PDEP, Construction (definition)

History

2026-11-02: add by m2/dev

VNTQA5C095 VNTQA5C095

URI	`m2://inv/VNTQA5C095`
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#EOUZ (statement). In SD43497T8C/e1, lemma 1.40

History

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

normalizer VNTVA2BNTE

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#KF7T, normalizer (definition)

History

2026-11-02: add by m2/dev

Galois descent and the fixed-orbit count for the Ree socle VNTY0QCP6G

URI	`m2://inv/VNTY0QCP6G`
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.15340#3GQB, Galois descent and the fixed-orbit count for the Ree socle (statement). In 9NVKKW8HDH/e1, proposition 2.75

History

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

Radius-mean bridge VNV0TQZJSD

URI	`m2://inv/VNV0TQZJSD`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24931#4XEV, Radius-mean bridge (statement)

History

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

VNV2PFAM87 VNV2PFAM87

URI	`m2://inv/VNV2PFAM87`
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.20656#SYKE (statement)

History

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

k-ary VNVNYJX3QC

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#4H89, k-ary (definition)

History

2026-11-02: add by m2/dev

VNVQRGG0H1 VNVQRGG0H1

URI	`m2://inv/VNVQRGG0H1`
Kind	statement
Layer	research
MSC	05-XX, 11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33770#FKW2 (statement). In 7DJ3C4V66R/e1, lemma 4.1

History

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

Theorem VNW075RRRE

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

Mentions

wikipedia: Wikipedia Spectral theory of normal C*-algebras#2HDY, Theorem (statement)

History

2026-11-02: add by m2/dev

Nagata counterexample VNWH32WYN0

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

Mentions

wikipedia: Wikipedia Hilbert's fourteenth problem#8746, Nagata counterexample (unknown)

History

2026-11-02: add by m2/dev

Alyson Wilson VNWM8ZNJRA

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

Mentions

wikipedia: Wikipedia Alyson Wilson, Alyson Wilson (topic). Also Wikidata Q60116636

History

2026-11-02: add by m2/dev

Bipartite density VNWWJXPYFM

URI	`m2://inv/VNWWJXPYFM`
Kind	statement
Layer	research
MSC	05-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20606#YEE1, Bipartite density (statement)

History

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

VNWZCY3D3D VNWZCY3D3D

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/substitution.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 27.8

History

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

Discriminative model VNXCEGPQD3

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

Mentions

wikipedia: Wikipedia Discriminative model, Discriminative model (definition). Also Wikidata Q5282087

History

2026-11-02: add by m2/dev

VNXGQMFRCR VNXGQMFRCR

URI	`m2://inv/VNXGQMFRCR`
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 2609.25495#75RI (statement)

History

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

Charles C. Conley VNXH0H130J

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

Mentions

wikipedia: Wikipedia Charles C. Conley, Charles C. Conley (topic). Also Wikidata Q339858

History

2026-11-02: add by m2/dev

VNXMBCC4CF VNXMBCC4CF

URI	`m2://inv/VNXMBCC4CF`
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.20495#UWY8 (statement)

History

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

Properties VNXR7D20TD

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

Mentions

wikipedia: Wikipedia Contiguity (probability theory)#EVE8, Properties (statement)

History

2026-11-02: add by m2/dev

VNXX3FA5K7 VNXX3FA5K7

URI	`m2://inv/VNXX3FA5K7`
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.20910#ODQD (statement). In CETHKW9EBV/e1, lemma A.3

History

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

VNY2JC344J VNY2JC344J

URI	`m2://inv/VNY2JC344J`
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 2502.08738#IMID (definition). In 9GMTVSTAVN/e1, definition 3.6

History

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

Examples VNY4DPNN8K

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

Mentions

wikipedia: Wikipedia Ternary relation#OMDP, Examples (example)

History

2026-11-02: add by m2/dev

Ramsey problem VNY5XHN2W0

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

Mentions

wikipedia: Wikipedia Ramsey problem, Ramsey problem (problem). Also Wikidata Q1757797

History

2026-11-02: add by m2/dev

Local heat estimates and cutoffs VNYDZG631A

URI	`m2://inv/VNYDZG631A`
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.05204#YYCP, Local heat estimates and cutoffs (statement). In ET0TQ8YF7Z/e1, lemma 7.7

History

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

Blasius boundary layer VNYK7DFKHN

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

Mentions

wikipedia: Wikipedia Blasius boundary layer, Blasius boundary layer (definition). Also Wikidata Q4925317

History

2026-11-02: add by m2/dev

VNYNEY6J50 VNYNEY6J50

URI	`m2://inv/VNYNEY6J50`
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 1001.3429#EMA9 (statement). In 6S4BVGS1VP/e1, corollary 3.5

History

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

VNYS2579X3 VNYS2579X3

URI	`m2://inv/VNYS2579X3`
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.01802#IPV2 (statement). In XGPZ0G9E1Q/e1, theorem 8.10

History

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

Performing a frequentist hypothesis test in practice VNYVZGA0KJ

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

Mentions

wikipedia: Wikipedia Statistical hypothesis test#J0Z8, Performing a frequentist hypothesis test in practice (statement)

History

2026-11-02: add by m2/dev

Examples VNYYBJ5W27

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

Mentions

wikipedia: Wikipedia Heuristic (psychology)#LPL6, Examples (example)

History

2026-11-02: add by m2/dev

VNZ0X4PKFR VNZ0X4PKFR

URI	`m2://inv/VNZ0X4PKFR`
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.31476#R37A (statement). In PC1CFE8CJC/e1, theorem 1.1

History

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

VNZ1A7HFMY VNZ1A7HFMY

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

Mentions

hott_book: hott_book hlevels.tex#proof-41 (proof). In N54F33XE07, proof, section 6.6

History

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

VNZ1Q5J4DX VNZ1Q5J4DX

URI	`m2://inv/VNZ1Q5J4DX`
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.39430#WGRX (statement). In 6FH24CYAMW/e1, lemma 6.1

History

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

VNZ1V32W3M VNZ1V32W3M

URI	`m2://inv/VNZ1V32W3M`
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.34852#C95Z (statement). In TZXEMCBK5V/e1, theorem 1.5

History

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

Algorithm VNZ29MNWVF

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

Mentions

wikipedia: Wikipedia Lucas primality test#2VR7, Algorithm (definition)

History

2026-11-02: add by m2/dev

Continuous mapping theorem VNZF6B5G69

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

Mentions

mathlib_1000: mathlib_1000 Q5165492, Continuous mapping theorem (statement). Also Mathlib MeasureTheory.TendstoInDistribution.continuous_comp, Wikidata Q5165492
thousand_plus: thousand_plus Q5165492, Continuous mapping theorem (statement). Also Mathlib MeasureTheory.TendstoInDistribution.continuous_comp, Wikidata Q5165492, Wikipedia Continuous mapping theorem
wikipedia: Wikipedia Continuous mapping theorem, Continuous mapping theorem (statement). Also Wikidata Q5165492

History

2026-10-26: add by m2/dev

VNZVNVTFGF VNZVNVTFGF

URI	`m2://inv/VNZVNVTFGF`
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.04809#USRG (statement). In 2VHV0RNTNV/e1, corollary 7.18

History

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

VNZW6RQKAZ VNZW6RQKAZ

URI	`m2://inv/VNZW6RQKAZ`
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.00775#9FBE (statement). In WVHA7H05QC/e1, proposition 3.9

History

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

foundations, univalent VNZYJR8ZAQ

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

Mentions

hott_book: hott_book index/u1/foundations-univalent, foundations, univalent (concept). In N54F33XE07, index, section u1

History

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