Math 2.0

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.

Rows 2301–2400 of 2835.

NameIdKindOutcomeSources
YSQRP90VTXYSQRP90VTXstatementrecord (an 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.19468#T0BM
YSQZYEH7WEYSQZYEH7WEproofopenapplied_combinatorics source/s_inclusion-exclusion_statement.ptx#proof-1
YSR1ED7SZ9YSR1ED7SZ9statementrecord (an 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.05198#7O44
YSR4F7EGQNYSR4F7EGQNexamplerecord (an 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.15887#KIRK
YSR4G8375NYSR4G8375Ndefinitionrecord (an 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#GPBO
YSR6DV01HTYSR6DV01HTproofopenhott_book setmath.tex#proof-13
YSR8GWJVQ5YSR8GWJVQ5statementrecord (an 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.31393#KX7P
YSRPSCDF5HYSRPSCDF5Hdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv alg-geom/9506022#CHVC
YSS1NDB24YYSS1NDB24Ystatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1408.1555#T89E
YSS1ZWDYF5YSS1ZWDYF5exerciseopenlebl_diffyqs ch-fourier-and-pde.tex#exercise-111
YSS9C66MBTYSS9C66MBTdefinitionrecord (an 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#YZMJ
YSSDTPD9S9YSSDTPD9S9definitionrecord (an 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.07890#FSQQ
YST6X2AVG2YST6X2AVG2statementrecord (an 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.24640#2RU7
YSTPCQ507RYSTPCQ507Rstatementrecord (an 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#H3GJ
YSTQ5PTM5BYSTQ5PTM5Bdefinitionrecord (an 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#V5A8
YSTRY4PRFSYSTRY4PRFSstatementrecord (an 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.39814#4Q50
YSV5VNXY9QYSV5VNXY9Qstatementrecord (an 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.21675#SSLZ
YSVRJ2RFFPYSVRJ2RFFPexamplerecord (an 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.07451#9PHB
YSW08PMXSJYSW08PMXSJstatementrecord (an 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.05820#81KN
YSW5WGT9BFYSW5WGT9BFstatementrecord (an 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.12116#53JM
YSW5WX4FV8YSW5WX4FV8statementrecord (an 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.34081#YF1N
YSWNFP9JF6YSWNFP9JF6examplerecord (an 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#JBNQ
YSWR6TAWE7YSWR6TAWE7statementrecord (an 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#6CMU
YSX0AQXYPYYSX0AQXYPYexamplerecord (an 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.24638#6XA0
YSXGS3VQB5YSXGS3VQB5definitionrecord (an 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.24465#99Q5
YSY1R76GMFYSY1R76GMFstatementrecord (an 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.13076#OIEC
YSYCEPA8MAYSYCEPA8MAexerciseopennapkin tex/H113/quotient.tex#ques-2
YSYP67HWPRYSYP67HWPRstatementrecord (an 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.28141#UAGJ
YSYT6W8NDCYSYT6W8NDCproblemrecord (an 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#BJOZ
YSZBHW3X4PYSZBHW3X4Pexamplerecord (an 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.21533#Q8U0
YSZS6W9377YSZS6W9377definitionrecord (an 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.31523#4KC9
YSZVHFPN2RYSZVHFPN2Rdefinitionrecord (an 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.38556#ER2D
YT132C92PKYT132C92PKstatementrecord (an 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.25539#RAU6
YT2EXPDWZHYT2EXPDWZHstatementrecord (an 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.06541#7CUI
YT34QJQRMEYT34QJQRMEstatementrecord (an 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.28141#Z4ZT
YT3EFTQYZHYT3EFTQYZHstatementrecord (an 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.16606#47L9
YT3JVG77MCYT3JVG77MCstatementrecord (an 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.32903#M1S9
YT3T4TMMFCYT3T4TMMFCstatementrecord (an 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#67XR
YT4KXF38GNYT4KXF38GNexamplerecord (an 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.29552#2ZHE
YT4M7DD71FYT4M7DD71Fexerciseopenernst_ibl MAAPressVersion/IntroFunctions.tex#problem-4
YT51JGRW3PYT51JGRW3Pstatementrecord (an 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.08052#ERRO
YT5F1Q82DBYT5F1Q82DBstatementrecord (an 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.30086#M5Q3
YT66RPWWRAYT66RPWWRAstatementrecord (an 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#93LH
YT7RK5FDQXYT7RK5FDQXstatementrecord (an 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.31276#D8PB
YT7Z0EQNJ5YT7Z0EQNJ5definitionrecord (an 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.14502#3XQU
YT7Z0QG5KRYT7Z0QG5KRstatementrecord (an 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.14689#MDUR
YT85Q2Z5JTYT85Q2Z5JTexerciseopenlevin_dmoi ptx/exercises/gt-conc.ptx#exercise-22
YT8Z6ZFP7DYT8Z6ZFP7Ddefinitionopenopen_logic content/methods/induction/relations.tex#defn:depth
YT9C47513BYT9C47513Bstatementrecord (an 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.10795#IK4X
YT9EEDFETZYT9EEDFETZexampleopenlebl_diffyqs ap-linear-algebra.tex#example:simplesubspaces
YT9SE3PH3VYT9SE3PH3VunknownopenarXiv alg-geom/9506022#9RCD
YTAF66FKAFYTAF66FKAFexerciseopennapkin tex/topology/top-more.tex#prob:disconnected_better_def
YTBEQ6WRZ0YTBEQ6WRZ0examplerecord (an 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.38051#72UM
YTDMTSWV3KYTDMTSWV3Kstatementrecord (an 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.08581#MNCT
YTDPFRZ4GZYTDPFRZ4GZdefinitionrecord (an 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.07274#27GR
YTE0TGF0QVYTE0TGF0QVstatementopenopen_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#prop-3
YTEQBG9FZGYTEQBG9FZGdefinitionrecord (an 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#4QDY
YTETQT4T7TYTETQT4T7Tstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2309.16041#0T50
YTEYE7PCVWYTEYE7PCVWdefinitionopenlebl_ra ch-one-dim-ints-sv.tex#defn-5
YTF9J3PK4JYTF9J3PK4Jstatementrecord (an 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.04099#YVMG
YTFB7KFPM2YTFB7KFPM2statementrecord (an 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.01087#WRGM
YTFHVV2ZXAYTFHVV2ZXAstatementrecord (an 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#IWZT
YTFSJABNFTYTFSJABNFTstatementrecord (an 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#CYY1
YTGAQABJT8YTGAQABJT8statementrecord (an 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.02158#FQU5
YTGBQ7TF7NYTGBQ7TF7Nexerciseopenlevin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-16
YTHQRK560VYTHQRK560Vstatementrecord (an 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.04503#VQPE
YTHWSS869PYTHWSS869Pexerciseopenlebl_diffyqs ap-linear-algebra.tex#exercise-35
YTHXJEP35WYTHXJEP35Wstatementrecord (an 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#5VI0
YTHXVY1JC8YTHXVY1JC8statementrecord (an 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.24484#MZ32
YTJ5T4760JYTJ5T4760Jexamplerecord (an 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.37337#Q8B6
YTJ7H3EEZEYTJ7H3EEZEstatementrecord (an 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.03488#BI43
YTJQ2MHREYYTJQ2MHREYstatementrecord (an 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.01276#FO13
YTJXMVAKHSYTJXMVAKHSstatementopenernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-12
YTKWNHF6DCYTKWNHF6DCstatementrecord (an 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/9602216#K7JO
YTM0T31RN3YTM0T31RN3statementrecord (an 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#9D8C
YTM7C84BAJYTM7C84BAJexamplerecord (an 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.09998#58X1
YTMYMNDDGWYTMYMNDDGWexerciseopenhott_book equivalences.tex#ex:cancellable-from-bool
YTN4DPWZVVYTN4DPWZVVstatementrecord (an 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.36714#BVI6
YTNAZ5BAJBYTNAZ5BAJBdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1709.00677#HXD3
YTNWWNNK0PYTNWWNNK0Pdefinitionrecord (an 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.13475#L87Q
YTP4NA5CXJYTP4NA5CXJstatementrecord (an 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.31269#YRJJ
YTPDNQ0AJYYTPDNQ0AJYstatementopenlebl_scv scv.tex#prop:boundaryvaluesCR
YTQ24KXSTMYTQ24KXSTMstatementrecord (an 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.02628#V7YA
YTRREYP7FMYTRREYP7FMexamplerecord (an 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.10902#KY8E
YTRW2JS4N4YTRW2JS4N4definitionrecord (an 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#26E2
YTS6QC3AE9YTS6QC3AE9statementrecord (an 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.07741#Y4LY
YTSQZNH91XYTSQZNH91Xexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1503.05744#NYIJ
YTSSXEGDSKYTSSXEGDSKstatementrecord (an 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.38596#SO8R
YTTKCACQXNYTTKCACQXNstatementrecord (an 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#T8NK
YTTQ08V6PBYTTQ08V6PBexerciseopenlebl_ra ch-real-nums.tex#exercise-27
YTTWZAP3E3YTTWZAP3E3statementrecord (an 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#4OUY
YTV55S8GEEYTV55S8GEEstatementrecord (an 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.17720#89GM
YTVJ6292NKYTVJ6292NKstatementrecord (an 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.33953#ZRG9
YTVYHC2APAYTVYHC2APAstatementrecord (an 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.29949#0865
YTX7C1F79QYTX7C1F79Qstatementrecord (an 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#0KJX
YTXSTQWRWZYTXSTQWRWZexamplerecord (an 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.35442#45V1
YTY2X6KSBKYTY2X6KSBKstatementrecord (an 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.20663#LLL1
YTY5K5Y43MYTY5K5Y43Mdefinitionrecord (an 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.16475#DUUQ
YTYG2MJPNYYTYG2MJPNYdefinitionrecord (an 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.40156#TNGJ
YTZ5AFAA8MYTZ5AFAA8Mstatementrecord (an 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#K4ZT