Inventory: Y
The rows of the inventory whose names start with Y. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 1901–2000 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YN8Q3M45MQ | YN8Q3M45MQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.16003#IN3E |
| YNA2G92KGP | YNA2G92KGP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20466#WERC |
| YNAAY7XSND | YNAAY7XSND | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00585#RYT1 |
| YNADGDVTVQ | YNADGDVTVQ | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10930#LED3 |
| YNCNY4PYHJ | YNCNY4PYHJ | statement | open | open_logic content/methods/induction/induction-on-N.tex#thm-1 |
| YNE0AFCD26 | YNE0AFCD26 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24623#WW9J |
| YNEBYZQ3KJ | YNEBYZQ3KJ | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12330#BHXQ |
| YNEN6PKCMZ | YNEN6PKCMZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05506#XH7C |
| YNET6JV07N | YNET6JV07N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16779#IQR4 |
| YNF3GG2BST | YNF3GG2BST | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03424#VV5J |
| YNFF4DB5XP | YNFF4DB5XP | exercise | open | austin_ula src/section4-5.xml#activity-1 |
| YNFFDW5Q26 | YNFFDW5Q26 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/0512416#DLD3 |
| YNG41Q56F2 | YNG41Q56F2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20050#TFII |
| YNG9XWGWYK | YNG9XWGWYK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.19483#D8G2 |
| YNGPAXXZVN | YNGPAXXZVN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20480#NN3B |
| YNHE80CCYC | YNHE80CCYC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05914#SVWL |
| YNHSM042C7 | YNHSM042C7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36078#SB1Y |
| YNJASKRTBR | YNJASKRTBR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14555#EWA1 |
| YNJPP7827Z | YNJPP7827Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26340#9OYO |
| YNJTWWV6ZY | YNJTWWV6ZY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03264#SU4K |
| YNK0HA7NGP | YNK0HA7NGP | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12054#3DBE |
| YNK4X8C9KR | YNK4X8C9KR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.17536#I9W9 |
| YNKWH5JBTY | YNKWH5JBTY | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.09207#OA7T |
| YNM9VCCSWF | YNM9VCCSWF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17477#7SK3 |
| YNNWHK3FA8 | YNNWHK3FA8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36827#UVV8 |
| YNNZ9AFGW1 | YNNZ9AFGW1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.05539#EW0M |
| YNP4C0K2S9 | YNP4C0K2S9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.10212#3ZHH |
| YNP6AET3X6 | YNP6AET3X6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/0411039#LGH3 |
| YNP8PJGQ10 | YNP8PJGQ10 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30090#NHVT |
| YNPADA2BX9 | YNPADA2BX9 | exercise | open | lebl_diffyqs ch-systems.tex#exercise-78 |
| YNPS9GR00N | YNPS9GR00N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36334#8DMA |
| YNQATVKPPV | YNQATVKPPV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20013#A9WM |
| YNQEKFZBP4 | YNQEKFZBP4 | example | open | open_logic content/normal-modal-logic/sequent-calculus/proofs-in-K.tex#ex-1 |
| YNQFX5751V | YNQFX5751V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39293#PACH |
| YNQM7H3EJK | YNQM7H3EJK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11905#NUWL |
| YNQTDFQ93Y | YNQTDFQ93Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21476#4W9B |
| YNR3JAVNB9 | YNR3JAVNB9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14741#IVZ3 |
| YNR721KW46 | YNR721KW46 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.03672#X0QL |
| YNRKK9C0KV | YNRKK9C0KV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06488#C0XX |
| YNRPRTJ44B | YNRPRTJ44B | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36884#OICP |
| YNRZKK6THV | YNRZKK6THV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00021#SP2D |
| YNSB74F2AA | YNSB74F2AA | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-23 |
| YNT9V3NJ1Q | YNT9V3NJ1Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26386#MP9W |
| YNTMH32AYM | YNTMH32AYM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.05628#8HO8 |
| YNTZ8CPG6N | YNTZ8CPG6N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14143#5GJ5 |
| YNVXZ52ST4 | YNVXZ52ST4 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.14022#ARWH |
| YNW01YK1TR | YNW01YK1TR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25468#BASP |
| YNX4J6Q14C | YNX4J6Q14C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12633#GSC8 |
| YNX5M9YXZ3 | YNX5M9YXZ3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35191#J9UY |
| YNXDZ710QF | YNXDZ710QF | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04675#A4H9 |
| YNXSJYFY0V | YNXSJYFY0V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26762#F8C5 |
| YNYKB44CXN | YNYKB44CXN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39317#AMEU |
| YNYP5SMENP | YNYP5SMENP | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17863#QQG6 |
| YNYP926HZB | YNYP926HZB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.34845#537U |
| YNZKBCTMWR | YNZKBCTMWR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#RQI7 |
| Yobuko | 74N3JH87Q4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35467#N35Q |
| yocto | 4Z94FCNH3Q | definition | open | Wikidata Q110823, ProofWiki Definition:Metric_System/Scaling_Prefixes/yocto- |
| Yoichiro Nambu | H1KKD5HZTC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q188120, nLab Yoichiro Nambu |
| Yokota's first localization | XH3EJ1HQBA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17909#I5YV |
| Yokota's second localization | 9NHF0W6T5V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17909#J2FT |
| Yonatan Harpaz | MZP05ND2K9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q98916880, nLab Yonatan Harpaz |
| Yoneda embedding | 1ZEV9VK0ZN | unknown | open | mathlib_overview General algebra > Category theory > Yoneda embedding, Mathlib CategoryTheory.yoneda |
| Yoneda lemma | 1FFH34WF2A | statement | open | Wikidata Q320577, nLab Yoneda lemma, ProofWiki Yoneda_Lemma |
| Yoneda, lemma | FE1GWZY7VF | concept | open | hott_book index/2.5/yoneda-lemma |
| Yoneda, lemma | T1T7NBQS64 | concept | open | hott_book index/8.8/yoneda-lemma |
| Yongbin Ruan | WBBSPK2611 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15456141, nLab Yongbin Ruan |
| Yoshio Mikami | 7KB4PGY3EC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q251702, ProofWiki Mathematician:Yoshio_Mikami |
| Yosida approximation | 8RC2JSXA8B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38396#Z2Y8 |
| yotta | MXY3P75WF2 | definition | open | Wikidata Q108474, ProofWiki Definition:Metric_System/Scaling_Prefixes/yotta- |
| Young measure | ZFYSJ9G037 | concept | open | Wikidata Q8058552, nLab Young measure |
| Young tableau | 35Z5R09MPD | unknown | open | Wikidata Q2166280, MathWorld YoungTableau, nLab Young diagram |
| Young's function and Orlicz space | EEMHEJAWT9 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08074#QBRV |
| Young's inequality | 6TYQBDB2BN | statement | node (a node has the same Wikidata item as the row) | arXiv 2609.32997#XKNH, arXiv 2610.16886#KZG4, Wikidata Q910563, MathWorld YoungsInequality |
| Young's Inequality | JM03ZREG1Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30105#GJ61 |
| Young's inequality for weak type spaces | A8FATKT4A7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28454#82VW |
| Young's inequality for weak type spaces | JQ1GV3S7D4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15460#AOPY |
| Young's lattice | CAPYW5FNCA | unknown | open | Wikidata Q932141, MathWorld YoungsLattice |
| Young-age path-length variance | QGTSR9DMK4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00614#7OZC |
| Youngs | XC9JGTVN2A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06340#BVGP |
| Young–Fibonacci lattice | 1YQDDA799Q | unknown | open | Wikidata Q8058685, nLab Young–Fibonacci lattice |
| YP085E4RP0 | YP085E4RP0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40274#5NLQ |
| YP0K1CKNTV | YP0K1CKNTV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14838#J3BG |
| YP1SVM293M | YP1SVM293M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12983#DPEU |
| YP29FM7KDK | YP29FM7KDK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00021#04C1 |
| YP29QZ28BG | YP29QZ28BG | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15517#Z101 |
| YP2DX2TCW5 | YP2DX2TCW5 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#SDZN |
| YP2Z8KJ5T8 | YP2Z8KJ5T8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30637#HAAX |
| YP3NMJ4419 | YP3NMJ4419 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.0068#6MPY |
| YP4PYZWS7K | YP4PYZWS7K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00396#4A7L |
| YP5N4T0YXK | YP5N4T0YXK | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37520#QQ3P |
| YP65JBDTKH | YP65JBDTKH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38017#7H14 |
| YP6XGCD695 | YP6XGCD695 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00375#DCY0 |
| YP6Z7M7JV9 | YP6Z7M7JV9 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12489#YSDR |
| YP70174RP9 | YP70174RP9 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39317#JEHF |
| YP71PH8H2V | YP71PH8H2V | statement | open | open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#prop:sat-ex |
| YP7QFJ6CGZ | YP7QFJ6CGZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26180#BXWK |
| YP7VTQT9T5 | YP7VTQT9T5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12619#LJ2R |
| YP7XG57D3V | YP7XG57D3V | definition | open | napkin tex/linalg/eigenvalues.tex#definition-4 |
| YP867CVNEN | YP867CVNEN | example | open | lebl_ra ch-riemann.tex#example-8 |
| YP880J1ZPN | YP880J1ZPN | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.1196#8M24 |