Inventory: D
The rows of the inventory whose names start with D. 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 4601–4700 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DYSA2HS51W | DYSA2HS51W | statement | record (an 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.07092#8G5W |
| DYSCMQE904 | DYSCMQE904 | 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.22268#H3II |
| DYSGNPZJAZ | DYSGNPZJAZ | statement | record (an 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.02901#MI3D |
| Dyson transform | 6JXT0RQCXZ | unknown | open | mathlib_overview Combinatorics > Additive combinatorics > Dyson transform, Mathlib Finset.addDysonETransform |
| DYT8ME5ZQW | DYT8ME5ZQW | statement | record (an 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.38220#71I6 |
| DYTNH6FCVM | DYTNH6FCVM | statement | record (an 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#QWKY |
| DYVRBAFCSW | DYVRBAFCSW | exercise | open | ernst_ibl MAAPressVersion/InfiniteSets.tex#problem-1 |
| DYW0SR6TAA | DYW0SR6TAA | statement | record (an 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.20891#D0VS |
| DYW1QRX7DB | DYW1QRX7DB | statement | record (an 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#X3MI |
| DYW3N9RJ2H | DYW3N9RJ2H | statement | record (an 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.25000#6FEY |
| DYWCWGXV8M | DYWCWGXV8M | 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 math/0003117#JP82 |
| DYWJS4730N | DYWJS4730N | statement | record (an 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.12014#PC7C |
| DYWPJZT14Q | DYWPJZT14Q | statement | record (an 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.17135#1DWO |
| DYX626JBN2 | DYX626JBN2 | statement | record (an 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.13401#N8ZR |
| DYXXS9MX54 | DYXXS9MX54 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-15 |
| DYY05X3VG2 | DYY05X3VG2 | statement | record (an 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#415V |
| DYYCGM7JXF | DYYCGM7JXF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1311.6044#7QJY |
| DYYE0MJC1P | DYYE0MJC1P | proof | open | lebl_ra ch-riemann.tex#proof-4 |
| DYYY593T1R | DYYY593T1R | 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.19285#7RDU |
| DZ0721BQ62 | DZ0721BQ62 | statement | record (an 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.01268#IDRD |
| DZ0J852T2Y | DZ0J852T2Y | statement | record (an 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.28046#L2QC |
| DZ1393585H | DZ1393585H | statement | record (an 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.01354#5L83 |
| DZ15GSRBK3 | DZ15GSRBK3 | statement | record (an 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#RU4R |
| DZ1A4TWCER | DZ1A4TWCER | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#JVFA |
| DZ1JQQG7KY | DZ1JQQG7KY | 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.06699#NJ51 |
| DZ1QXSDJAT | DZ1QXSDJAT | example | open | napkin tex/alg-NT/artin.tex#example-6 |
| DZ2M007WRM | DZ2M007WRM | statement | record (an 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.39531#A59J |
| DZ31Q52TK7 | DZ31Q52TK7 | statement | open | ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-11 |
| DZ4W3GH49M | DZ4W3GH49M | statement | record (an 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.29918#58YA |
| DZ59HDESXM | DZ59HDESXM | statement | record (an 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.07290#NK4E |
| DZ5XGVH0SE | DZ5XGVH0SE | statement | record (an 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.14803#KXO1 |
| DZ64P7JG70 | DZ64P7JG70 | 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.32174#OSEM |
| DZ6MWQNWHD | DZ6MWQNWHD | statement | record (an 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.04935#51LZ |
| DZ6RSGPY3F | DZ6RSGPY3F | statement | open | applied_combinatorics source/s_inclusion-exclusion_derangements.ptx#theorem-2 |
| DZ7E11GSRX | DZ7E11GSRX | statement | record (an 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.14045#1GR0 |
| DZ88KKT8WZ | DZ88KKT8WZ | statement | open | ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-8 |
| DZ8AW89WW5 | DZ8AW89WW5 | statement | record (an 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.21768#WEU3 |
| DZ94G91MFK | DZ94G91MFK | statement | record (an 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.29759#YMXI |
| DZ9BVEDDC6 | DZ9BVEDDC6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#8GUU |
| DZ9PMP42B0 | DZ9PMP42B0 | 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#7302 |
| DZA2462TH2 | DZA2462TH2 | exercise | open | open_logic content/normal-modal-logic/completeness/truth-lemma.tex#probtag-1 |
| DZA9GT64NM | DZA9GT64NM | statement | record (an 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.07673#13G7 |
| DZAA5GAQF6 | DZAA5GAQF6 | statement | record (an 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.17139#PBI5 |
| DZAHNK1PFE | DZAHNK1PFE | statement | record (an 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.20739#C7MU |
| DZAKAH7SZN | DZAKAH7SZN | statement | record (an 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.04264#OUMC |
| DZASH3RTSP | DZASH3RTSP | statement | record (an 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.28794#32BN |
| DZBBCM9S47 | DZBBCM9S47 | statement | record (an 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.15982#MKRS |
| DZBEBPN028 | DZBEBPN028 | statement | record (an 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.36613#FML4 |
| DZBHD4NXQB | DZBHD4NXQB | 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.07530#S1X0 |
| DZBN7AD8D8 | DZBN7AD8D8 | statement | record (an 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.13972#R74A |
| DZBP4DG9ZX | DZBP4DG9ZX | 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 2103.12669#1ISQ |
| DZC2HFYC1G | DZC2HFYC1G | statement | open | open_logic content/computability/computability-theory/fixed-point-thm.tex#thm-1 |
| DZCA9A3Q36 | DZCA9A3Q36 | statement | record (an 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.05499#X3GY |
| DZCVRTC6QW | DZCVRTC6QW | 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.34311#AVXJ |
| DZD2VVW9DX | DZD2VVW9DX | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-4 |
| DZD5C763HQ | DZD5C763HQ | statement | open | hott_book equivalences.tex#thm:lequiv-contr-hae |
| DZDMQHDP8S | DZDMQHDP8S | statement | open | napkin tex/rep-theory/characters.tex#theorem-1 |
| DZDN56YT73 | DZDN56YT73 | 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.40282#2CB8 |
| DZED0RCKRA | DZED0RCKRA | statement | record (an 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.07728#39KL |
| DZEDTTFN3P | DZEDTTFN3P | statement | record (an 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.01615#7K66 |
| DZEFW33GFC | DZEFW33GFC | 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.19333#FJCP |
| DZERD0FD8Y | DZERD0FD8Y | statement | record (an 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.04958#110M |
| DZEXJYRF0B | DZEXJYRF0B | statement | record (an 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.15255#QKBG |
| DZFN3K6MT6 | DZFN3K6MT6 | statement | record (an 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.11829#QOVB |
| DZFW6MK54S | DZFW6MK54S | 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.10077#GI5I |
| DZGDZM7PRH | DZGDZM7PRH | statement | record (an 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.10828#IFY2 |
| DZGHSDXKWE | DZGHSDXKWE | 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 2601.22681#QMMW |
| DZGVBAMMK7 | DZGVBAMMK7 | statement | record (an 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.10927#6IS2 |
| DZH0EAPYKC | DZH0EAPYKC | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-2 |
| DZHJRA7Z26 | DZHJRA7Z26 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-81 |
| DZHJTTRRB4 | DZHJTTRRB4 | statement | open | napkin tex/alg-geom/affine-var.tex#prop:radical |
| Dziobek | 79BZJ64DBY | statement | record (an 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.35632#WT9C |
| DZJ07P1JWH | DZJ07P1JWH | statement | record (an 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.28289#LQEP |
| DZJ511TSAR | DZJ511TSAR | exercise | open | napkin tex/homology/cohomology.tex#sproblem-1 |
| DZKVAVW6HM | DZKVAVW6HM | statement | record (an 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.01802#8F88 |
| DZKX5GC9H5 | DZKX5GC9H5 | statement | record (an 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.08958#CRI0 |
| DZMAASAB32 | DZMAASAB32 | 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 2508.01642#47N7 |
| DZMY7RPNT3 | DZMY7RPNT3 | example | open | napkin tex/homology/cup-product.tex#example-6 |
| DZNAS6E25H | DZNAS6E25H | topic | open | Wikidata Q114716152 |
| DZNFDTTNQ0 | DZNFDTTNQ0 | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-10 |
| DZNPJVKM27 | DZNPJVKM27 | statement | record (an 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.12329#NYUL |
| DZPGFC9HSA | DZPGFC9HSA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.10202#51WX |
| DZPZ1KTW2H | DZPZ1KTW2H | 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.20801#J58S |
| DZPZDJHYN3 | DZPZDJHYN3 | exercise | open | active_calculus source/activities/act-3-5-3.xml#act-3-5-3 |
| DZQ055DYYM | DZQ055DYYM | statement | record (an 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.06338#FJIW |
| DZQKYYMN0C | DZQKYYMN0C | statement | record (an 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.06152#BUE1 |
| DZQR03RC2W | DZQR03RC2W | statement | record (an 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.16225#REAZ |
| DZQTDKNJER | DZQTDKNJER | 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.24541#MXLM |
| DZQVYTXSXQ | DZQVYTXSXQ | 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 2207.12181#KJRD |
| DZQYQA4PRJ | DZQYQA4PRJ | statement | record (an 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.27922#L1BF |
| DZR9FRGGKZ | DZR9FRGGKZ | statement | record (an 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.15360#KRX3 |
| DZRDXX25WF | DZRDXX25WF | statement | record (an 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.14278#ASHK |
| DZRVSHYV1X | DZRVSHYV1X | statement | record (an 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.26951#LH52 |
| DZS9PM7MBJ | DZS9PM7MBJ | proof | open | napkin tex/rep-theory/rep-alg.tex#proof-3 |
| DZSE61ADB2 | DZSE61ADB2 | statement | record (an 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.16059#2STZ |
| DZSEEY6QXE | DZSEEY6QXE | exercise | open | levin_dmoi ptx/exercises/gt-trees.ptx#exercise-14 |
| DZTYK26S06 | DZTYK26S06 | statement | record (an 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.15169#7AWK |
| DZV8H6NM3T | DZV8H6NM3T | statement | record (an 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#CCBE |
| DZVCG17919 | DZVCG17919 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.03611#YCLC |
| DZW7JQJ5MR | DZW7JQJ5MR | statement | record (an 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.17045#TYG0 |