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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 2201–2300 of 3402.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YMWSVA16XS | YMWSVA16XS | 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 2411.02694#IUGF |
| YMXR71DGBD | YMXR71DGBD | 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 2110.06338#W0L7 |
| YMZH0HB674 | YMZH0HB674 | 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 2401.05118#O0I4 |
| YMZPT48CE9 | YMZPT48CE9 | 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.22784#HD9Y |
| YMZRDCKWXM | YMZRDCKWXM | 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.06699#Y4T0 |
| YN0AEZ029N | YN0AEZ029N | 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 2602.15812#Q9L4 |
| YN0RG12Y74 | YN0RG12Y74 | exercise | open | lebl_scv scv.tex#exercise-101 |
| YN1R4XX7K6 | YN1R4XX7K6 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-15 |
| YN23RTCXDD | YN23RTCXDD | 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.29925#D7GK |
| YN2AY5PSA4 | YN2AY5PSA4 | 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.28365#R4ZQ |
| YN2GRNVGTR | YN2GRNVGTR | 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.30200#JO61 |
| YN2KXZMANZ | YN2KXZMANZ | 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.23167#T3F2 |
| YN3B2Z3TPD | YN3B2Z3TPD | 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.28774#S7K3 |
| YN3FGAC8CP | YN3FGAC8CP | 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.15316#A32D |
| YN3H2178RB | YN3H2178RB | 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.13213#BFXA |
| YN4FGB199E | YN4FGB199E | definition | open | hott_book categories.tex#ct:nattrans |
| YN5ZYT85YW | YN5ZYT85YW | 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.01803#P6SI |
| YN68XF8HN4 | YN68XF8HN4 | 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.28365#J84F |
| YN6K358SFX | YN6K358SFX | 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 2603.29838#RWIR |
| YN7BD6HNNJ | YN7BD6HNNJ | definition | open | lebl_ra ch-riemann.tex#defn-4 |
| YN7F5FS4Y4 | YN7F5FS4Y4 | 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.09319#I1DW |
| YN86ZVKJZ6 | YN86ZVKJZ6 | 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.05708#6GLT |
| YN89EECD7R | YN89EECD7R | 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.37520#099C |
| YN8KW1A1D2 | YN8KW1A1D2 | 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.12484#JNU7 |
| 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 |
| YNAYQ0AB0E | YNAYQ0AB0E | 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.23262#L4V6 |
| 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 |
| YNKKXDYV1J | YNKKXDYV1J | 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.22847#XN2M |
| 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 |
| YNSQA4X627 | YNSQA4X627 | 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.20225#XSAP |
| YNSY8CYN1D | YNSY8CYN1D | 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.21994#6KPV |
| 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 |
| Yo-yo | 4Z4JGA2CDA | definition | open | Wikipedia Yo-yo (algorithm), Wikidata Q30689522 |
| Yoav Benjamini | 4AEJ5E70HQ | topic | open | Wikipedia Yoav Benjamini, Wikidata Q8054200 |
| 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- |
| Yoichi Miyaoka | 8PZBD371CC | topic | open | Wikipedia Yoichi Miyaoka, Wikidata Q8054505 |
| Yoichi Miyaoka | DC6GJF7QH2 | topic | open | Wikipedia List of people by Erdős number#2DFO, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1CT0 |
| 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 |
| Yom Tov Lipman Lipkin | FXQCAK5B9W | topic | open | Wikipedia List of Jewish mathematicians#4XYQ |
| Yom Tov Lipman Lipkin | P8J6Z759TJ | topic | open | Wikipedia Yom Tov Lipman Lipkin, Wikidata Q15965068 |
| Yomtov Garti | 8SMCAFJW2T | topic | open | Wikipedia Yomtov Garti, Wikidata Q58217344 |
| Yonatan Harpaz | MZP05ND2K9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q98916880, nLab Yonatan Harpaz |
| Yoneda | W3716CJXA7 | definition | open | Wikipedia Glossary of category theory#EFZS |
| Yoneda embedding | 1ZEV9VK0ZN | unknown | open | mathlib_overview General algebra > Category theory > Yoneda embedding, Mathlib CategoryTheory.yoneda |
| Yoneda embedding | H2BJS0NF5W | unknown | open | Wikipedia Yoneda lemma#38S4 |
| Yoneda lemma | 1FFH34WF2A | statement | open | Wikidata Q320577, nLab Yoneda lemma, ProofWiki Yoneda_Lemma, Wikipedia Yoneda lemma |