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 2601–2700 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YXFCRD0YRF | YXFCRD0YRF | 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 2607.28337#UI67 |
| YXGEKJZMEF | YXGEKJZMEF | 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.20391#ZZ61 |
| YXGGPNDG41 | YXGGPNDG41 | exercise | open | hott_book equivalences.tex#ex:embedding-cancellable |
| YXGH78THB2 | YXGH78THB2 | 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.39747#4ULW |
| YXHAYDA4KG | YXHAYDA4KG | 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.25151#U2YL |
| YXJNBKEW27 | YXJNBKEW27 | 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 1705.04310#9OVB |
| YXJZYHY0PA | YXJZYHY0PA | definition | open | hott_book categories.tex#ct:dagger-precategory |
| YXK3YBWC2B | YXK3YBWC2B | 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.38567#G6LI |
| YXKJQ0V213 | YXKJQ0V213 | 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.03628#VKYF |
| YXKWK84Z9V | YXKWK84Z9V | definition | open | applied_combinatorics source/s_genfunction_gen-bin-thm.ptx#definition-2 |
| YXKXK6WM7T | YXKXK6WM7T | 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.33590#VUBY |
| YXM50A6SPW | YXM50A6SPW | proof | open | open_logic content/first-order-logic/completeness/construction-of-model.tex#proof-1 |
| YXMT3P9FRN | YXMT3P9FRN | 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 2607.00146#UTA9 |
| YXMTCNSHN7 | YXMTCNSHN7 | 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.28507#NKKJ |
| YXN8BQ6SD7 | YXN8BQ6SD7 | 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/0406514#F7NT |
| YXNEKJD92D | YXNEKJD92D | 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.05784#VDJS |
| YXNK2TC0JD | YXNK2TC0JD | 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.27641#XWWN |
| YXNMDSAKYG | YXNMDSAKYG | 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.07280#YBVD |
| YXNRPJ2DS0 | YXNRPJ2DS0 | 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.03568#C9TM |
| YXNVWCRTDP | YXNVWCRTDP | exercise | open | lebl_ra ch-riemann.tex#exercise-34 |
| YXNVWKKPWY | YXNVWKKPWY | 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.10875#0A02 |
| YXQ7BZAA8D | YXQ7BZAA8D | 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.09171#HA5R |
| YXQA0HQDZ1 | YXQA0HQDZ1 | 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.35027#FJHW |
| YXQAVJY8W6 | YXQAVJY8W6 | definition | open | napkin tex/topology/top-more.tex#def:closure |
| YXRH37VS6V | YXRH37VS6V | example | open | open_logic content/normal-modal-logic/syntax-and-semantics/entailment.tex#ex-1 |
| YXS3GKG6DV | YXS3GKG6DV | 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.35678#UK1Q |
| YXSX6TJNCY | YXSX6TJNCY | statement | open | applied_combinatorics source/s_inclusion-exclusion_euler-phi.ptx#thm_eulerphi |
| YXT1RFED6V | YXT1RFED6V | 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.24701#QH8X |
| YXT2DGARXY | YXT2DGARXY | 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.06440#3RB8 |
| YXTN54T477 | YXTN54T477 | definition | open | napkin tex/linalg/eigenvalues.tex#definition-3 |
| YXTS6Z9VC8 | YXTS6Z9VC8 | 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.04809#MV11 |
| YXVNE671CH | YXVNE671CH | example | open | lebl_diffyqs ch-systems.tex#example-5 |
| YXVV7QFVET | YXVV7QFVET | 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.32977#A2TF |
| YXWDQ8W3EH | YXWDQ8W3EH | 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.31445#6CDC |
| YXWEDA5Y91 | YXWEDA5Y91 | 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.27846#3RDB |
| YXWNE752NY | YXWNE752NY | 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.11047#SCN8 |
| YXWPH4R54J | YXWPH4R54J | 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.05391#M08G |
| YXWS3D28NA | YXWS3D28NA | 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.38138#JPYY |
| YXX8P0S57G | YXX8P0S57G | 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.26665#6U7Y |
| YXXKBZDT2B | YXXKBZDT2B | 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.08382#X33Z |
| YXXWN8HRD7 | YXXWN8HRD7 | exercise | open | napkin tex/linalg/eigenvalues.tex#problem-6 |
| YXXZE9ZEMH | YXXZE9ZEMH | 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.25301#DMAS |
| YXY6TXKRM9 | YXY6TXKRM9 | 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 2412.20001#9GU0 |
| YXYP1NTNP5 | YXYP1NTNP5 | proof | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-2 |
| YXYQ5SE091 | YXYQ5SE091 | 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.25168#MG8C |
| YXYQHBS4GC | YXYQHBS4GC | 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.03081#GZX8 |
| YXYRYJDGV1 | YXYRYJDGV1 | 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.13518#S3HA |
| YXZXTGCY55 | YXZXTGCY55 | 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.03231#LK9Q |
| YXZZRPRREW | YXZZRPRREW | 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.07644#Y58M |
| YY01FW1JB0 | YY01FW1JB0 | 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.17863#D4RG |
| YY037E94ZH | YY037E94ZH | proof | open | lebl_ra ch-several-vars-ders.tex#proof-1 |
| YY06EPVC18 | YY06EPVC18 | 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 2412.12141#70KL |
| YY0FVJ6GEN | YY0FVJ6GEN | 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 2301.04933#LTWW |
| YY0FYV41KE | YY0FYV41KE | exercise | open | napkin tex/cats/abelian.tex#problem-3 |
| YY0RBD4NHA | YY0RBD4NHA | exercise | open | lebl_scv scv.tex#exercise-78 |
| YY207JSN89 | YY207JSN89 | 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.16203#5A4L |
| YY26YPVNC4 | YY26YPVNC4 | 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.20558#PA19 |
| YY28EMVVGP | YY28EMVVGP | 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.05784#GL3I |
| YY28ESG6E1 | YY28ESG6E1 | 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.08357#6X3W |
| YY2B329R4W | YY2B329R4W | 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 1712.02437#MU1K |
| YY45CXH6XZ | YY45CXH6XZ | 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 2011.08789#TMBE |
| YY4D4KHZ0K | YY4D4KHZ0K | 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 0904.3493#EU02 |
| YY4WZYVY47 | YY4WZYVY47 | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-9 |
| YY4XZ3C46P | YY4XZ3C46P | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-14 |
| YY51KK83HA | YY51KK83HA | 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.36412#RAOY |
| YY54ZVEAZR | YY54ZVEAZR | 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.03559#QMR0 |
| YY584MSTPX | YY584MSTPX | 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.08583#AY1M |
| YY5A34EC6K | YY5A34EC6K | 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.26600#I5YZ |
| YY5G1978ZB | YY5G1978ZB | 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.4587#8AEI |
| YY5Q2XSMW3 | YY5Q2XSMW3 | 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.00909#XD1C |
| YY6B2R93X2 | YY6B2R93X2 | 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.01441#AYUC |
| YY6BMFSWNW | YY6BMFSWNW | 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.29022#FVSD |
| YY7KW8REJZ | YY7KW8REJZ | 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.12203#UOQP |
| YY7ZAPAV8F | YY7ZAPAV8F | 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.17602#MQ4K |
| YY8E4HMX40 | YY8E4HMX40 | 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 2609.25188#O3Q6 |
| YY8GBBJDQ3 | YY8GBBJDQ3 | 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.31907#HMJZ |
| YY8Q2QH5GT | YY8Q2QH5GT | 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#093O |
| YY8R9DN1N7 | YY8R9DN1N7 | 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.26479#TOR2 |
| YY92D4M1M0 | YY92D4M1M0 | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-24 |
| YY94PY0VZA | YY94PY0VZA | 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.18078#5PU5 |
| YY9X78FBGP | YY9X78FBGP | 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.21921#YFEK |
| YYA6MH5AY0 | YYA6MH5AY0 | 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.40191#K6GM |
| YYACMSV523 | YYACMSV523 | 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#E96F |
| YYAE2VMPG4 | YYAE2VMPG4 | 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 2407.12231#D9LC |
| YYAMG46FA9 | YYAMG46FA9 | 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.30579#4J2Y |
| YYAR942CFN | YYAR942CFN | 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.08658#D3CT |
| YYB3W20F10 | YYB3W20F10 | 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.05299#A54O |
| YYBP64391R | YYBP64391R | 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.27078#H8BH |
| YYC4T688A2 | YYC4T688A2 | 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 2507.03563#XK0I |
| YYCC1Y24W0 | YYCC1Y24W0 | 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.14377#0TA6 |
| YYCC8K0JK5 | YYCC8K0JK5 | unknown | open | arXiv math/0512416#H1NX |
| YYF2HSTSW2 | YYF2HSTSW2 | 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#S6EL |
| YYG175WB8W | YYG175WB8W | 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 2012.05048#0RMQ |
| YYGXNWB4SK | YYGXNWB4SK | proof | open | hott_book setmath.tex#proof-39 |
| YYGYEQ4RMA | YYGYEQ4RMA | unknown | open | arXiv 2610.06441#PBJD |
| YYH2QRDDVV | YYH2QRDDVV | 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 2503.08488#6I15 |
| YYH3CXP23N | YYH3CXP23N | 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 2102.12931#W1ZP |
| YYHC8X0405 | YYHC8X0405 | 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.31220#NDSN |
| YYHE8GBCVV | YYHE8GBCVV | 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.28011#PTEI |
| YYHQGTXDQS | YYHQGTXDQS | 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.25926#MDV3 |