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 601–700 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Y6T6NESYV1 | Y6T6NESYV1 | proof | open | hott_book equivalences.tex#proof-1 |
| Y6TEPKKPA9 | Y6TEPKKPA9 | 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.24739#K417 |
| Y6TXD7A094 | Y6TXD7A094 | 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 1303.4328#P6RX |
| Y6TYCK6Y85 | Y6TYCK6Y85 | 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.00832#5NVK |
| Y6VK8GQSAQ | Y6VK8GQSAQ | 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 2504.14383#RLDF |
| Y6VQFTDTQM | Y6VQFTDTQM | 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.10937#KFD5 |
| Y6W7KRD2HZ | Y6W7KRD2HZ | 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.15385#VK4U |
| Y6WGCYCFB1 | Y6WGCYCFB1 | 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 2104.00162#NXRW |
| Y6WTWZ95JP | Y6WTWZ95JP | 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.24675#2965 |
| Y6WZCFPS96 | Y6WZCFPS96 | 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.28495#TQXT |
| Y6X09VKY9Y | Y6X09VKY9Y | 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.00077#8THR |
| Y6X23G42AC | Y6X23G42AC | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#exercise-2 |
| Y6XC7K3V1J | Y6XC7K3V1J | 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.17240#MB0J |
| Y6XNF5B8RV | Y6XNF5B8RV | 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 2405.05684#9NGB |
| Y6YP145DYG | Y6YP145DYG | 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.25896#TWYM |
| Y6YZ72F471 | Y6YZ72F471 | 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.15472#51DG |
| Y6Z0SGH7VT | Y6Z0SGH7VT | 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 2306.12846#O0W5 |
| Y6Z1NDD803 | Y6Z1NDD803 | 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#LA9Q |
| Y6Z5ATQQ5V | Y6Z5ATQQ5V | 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.27635#PXSN |
| Y6Z9ZN6ND6 | Y6Z9ZN6ND6 | 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.32033#9FTQ |
| Y6ZTBGE2JV | Y6ZTBGE2JV | 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.28781#HWYN |
| Y70E3YRSTB | Y70E3YRSTB | 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.36321#FCAD |
| Y7145ECB2Q | Y7145ECB2Q | 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.04834#GF59 |
| Y715X5TC1J | Y715X5TC1J | 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 2506.07061#MXWK |
| Y72CE7KMJ9 | Y72CE7KMJ9 | 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#FD0C |
| Y737ADRWC9 | Y737ADRWC9 | 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.28336#79VU |
| Y74ZM8FFME | Y74ZM8FFME | example | open | lebl_scv scv.tex#example-2 |
| Y75KCQXK4T | Y75KCQXK4T | 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.32090#H55M |
| Y75PC6CS45 | Y75PC6CS45 | 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.39700#9K51 |
| Y75PPF7QW2 | Y75PPF7QW2 | 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.14204#1P7U |
| Y76QC6NJ1W | Y76QC6NJ1W | 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 2510.09873#FLRM |
| Y76SNWH0P0 | Y76SNWH0P0 | 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.20386#1CV0 |
| Y76TPC0Y6K | Y76TPC0Y6K | 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.28540#CNA0 |
| Y7778Y6D2W | Y7778Y6D2W | 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.17626#QV68 |
| Y77MPAV5YA | Y77MPAV5YA | 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.02379#TFQ9 |
| Y78DJWHX8E | Y78DJWHX8E | 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.21545#TCVZ |
| Y78G18DMX9 | Y78G18DMX9 | 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.17060#XV4I |
| Y78HJ64RP3 | Y78HJ64RP3 | 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 2204.04317#WTUK |
| Y78HWJ25J2 | Y78HWJ25J2 | 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 2501.17009#6T1T |
| Y794J9M6K2 | Y794J9M6K2 | proof | open | napkin tex/calculus/taylor.tex#proof-3 |
| Y79MH3MWBN | Y79MH3MWBN | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-14 |
| Y7A0YNYDVN | Y7A0YNYDVN | 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.27495#SJ5G |
| Y7B9SM7V9V | Y7B9SM7V9V | 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.38567#KNLE |
| Y7BV1D2K21 | Y7BV1D2K21 | unknown | open | arXiv 2609.28893#LIJI |
| Y7CJZ0DBDM | Y7CJZ0DBDM | 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 1003.1817#KBUJ |
| Y7CKSHV0DW | Y7CKSHV0DW | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-12 |
| Y7D09TQY5Z | Y7D09TQY5Z | 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.08873#V1P7 |
| Y7D0XQK4WC | Y7D0XQK4WC | 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.11468#NNNF |
| Y7D2YG2WKC | Y7D2YG2WKC | definition | open | open_logic content/first-order-logic/introduction/formulas.tex#defn-1 |
| Y7DHH0Y38Y | Y7DHH0Y38Y | 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#ZRJ8 |
| Y7DKBR1AS2 | Y7DKBR1AS2 | exercise | open | napkin tex/alg-geom/mor-scheme.tex#exercise-1 |
| Y7DRKY3ABZ | Y7DRKY3ABZ | 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 2507.12309#B5X5 |
| Y7DYH3EFTY | Y7DYH3EFTY | 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 2511.12649#SZ4I |
| Y7EFBTCH6C | Y7EFBTCH6C | 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.18620#Z5SG |
| Y7EKQKNZSE | Y7EKQKNZSE | 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.28669#MWHD |
| Y7EMA5YCZB | Y7EMA5YCZB | proof | open | napkin tex/homology/cellular.tex#proof-2 |
| Y7F537P3HS | Y7F537P3HS | 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 0804.2115#4V4L |
| Y7FDQWZQN5 | Y7FDQWZQN5 | 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 2204.01073#RMWU |
| Y7G2B22QJ1 | Y7G2B22QJ1 | 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.29107#UTT6 |
| Y7G94KQ0VH | Y7G94KQ0VH | 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 2508.07340#2R73 |
| Y7GQH1E8MK | Y7GQH1E8MK | 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.21017#W0QE |
| Y7GSV38MCC | Y7GSV38MCC | 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#B5OS |
| Y7GZ3HD5F8 | Y7GZ3HD5F8 | 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.18562#O3J3 |
| Y7GZDRE6BJ | Y7GZDRE6BJ | definition | open | napkin tex/topology/compactness.tex#definition-5 |
| Y7HM2FC0MH | Y7HM2FC0MH | 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.36279#YYY6 |
| Y7HNJWTSDV | Y7HNJWTSDV | 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.06872#PB34 |
| Y7JBPE70H0 | Y7JBPE70H0 | 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.03222#PH0X |
| Y7JHJ7CXRM | Y7JHJ7CXRM | 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.36423#3A9J |
| Y7JSBZBKNN | Y7JSBZBKNN | 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#YDDW |
| Y7JWYH51HZ | Y7JWYH51HZ | 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.19535#D4OX |
| Y7JYQQT878 | Y7JYQQT878 | 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.19854#UJTN |
| Y7K1SS6SH0 | Y7K1SS6SH0 | 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.20542#FVO0 |
| Y7K8NRHMQ4 | Y7K8NRHMQ4 | exercise | open | napkin tex/linalg/eigenvalues.tex#ques-4 |
| Y7KB8KVAF8 | Y7KB8KVAF8 | 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#HO0Y |
| Y7KJYB9BPH | Y7KJYB9BPH | 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#GV0S |
| Y7KVYWFP0D | Y7KVYWFP0D | unknown | open | arXiv 1804.05688#BQ54 |
| Y7MAQWHEAS | Y7MAQWHEAS | 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.06246#78J5 |
| Y7N0JH24XR | Y7N0JH24XR | 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.14842#2FYN |
| Y7N7ZHTK66 | Y7N7ZHTK66 | definition | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#def:logical connectives |
| Y7NVRART3A | Y7NVRART3A | 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 2303.10963#KMDQ |
| Y7P6TN7V2J | Y7P6TN7V2J | 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.21960#3XMI |
| Y7Q5M3ZE2B | Y7Q5M3ZE2B | 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.32077#VGBY |
| Y7Q5MWKHDH | Y7Q5MWKHDH | 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.30961#QCQD |
| Y7QC4NQRW4 | Y7QC4NQRW4 | example | open | lebl_ra ch-contfunc.tex#example-1 |
| Y7QWKGFEEJ | Y7QWKGFEEJ | 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.04305#J33T |
| Y7RJA8VE6C | Y7RJA8VE6C | 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.10372#PB9T |
| Y7RP0ETFY6 | Y7RP0ETFY6 | 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 1907.01440#LKJI |
| Y7RP1EP4TZ | Y7RP1EP4TZ | 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.07537#60ZT |
| Y7S7N731SP | Y7S7N731SP | 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.20760#ECPY |
| Y7T0A2WJSK | Y7T0A2WJSK | 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.13523#6JPH |
| Y7TBS82Q9M | Y7TBS82Q9M | 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.31604#E2PN |
| Y7TDAYFFFX | Y7TDAYFFFX | 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 2403.04887#PT4F |
| Y7TRR9HE4W | Y7TRR9HE4W | 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#6HE3 |
| Y7V3XYZHMG | Y7V3XYZHMG | 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.01433#29SF |
| Y7V8CFTBA2 | Y7V8CFTBA2 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-20 |
| Y7V9PM87E8 | Y7V9PM87E8 | 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 0804.2115#H6B2 |
| Y7VW7W8VN9 | Y7VW7W8VN9 | 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#27P5 |
| Y7XKJC32NA | Y7XKJC32NA | 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 2211.13105#CH6G |
| Y7XVC6DJW3 | Y7XVC6DJW3 | 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.29605#596W |
| Y7XX08BS61 | Y7XX08BS61 | 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.25301#LYHY |