Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 801–900 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| (Small) complex icosidodecahedron | 4BHPEY65VJ | definition | open | Wikipedia List of uniform polyhedra by Schwarz triangle#AO3V |
| (smooth) direct sum of vector bundles | PPPR5QPV8Z | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) direct sum of vector bundles, Mathlib Bundle.Prod.contMDiffVectorBundle |
| (smooth) Hom bundle | YCVKX7173W | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) Hom bundle, Mathlib ContMDiffVectorBundle.continuousLinearMap |
| (smooth) pullback vector bundle | SJ76G221X4 | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) pullback vector bundle, Mathlib ContMDiffVectorBundle.pullback |
| (smooth) trivial vector bundle | QDM33VCP41 | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) trivial vector bundle, Mathlib Bundle.Trivial.contMDiffVectorBundle |
| (smooth) vector bundle | YDG12C9QD1 | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) vector bundle, Mathlib ContMDiffVectorBundle |
| (topological) fiber bundle | SR24YZM7VA | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (topological) fiber bundle, Mathlib FiberBundle, mathlib_overview Topology > General topology > topological fiber bundle |
| (Tuleta #1) | 84VE9T6ANT | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#RFAG |
| (Tuleta #13) | 3BK754KBD7 | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#CQGC |
| (Tuleta #3) | AC9G8RMWN6 | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#NEEW |
| (Tuleta #4) | GRGGQF0Q5Q | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#HNV7 |
| (Tuleta #5) | K6DSGYS9PR | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#GJJW |
| (Weeting #12) | 15S0NX271H | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#1HKF |
| (Weeting #13) | QSNKJ6G6H5 | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#QORQ |
| (Weeting #15) | EV1YZM6GFW | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#WQAU |
| (Weeting #16) | V6X22K0FBA | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#GX4N |
| (Weeting #19) | TXZQ1S6W77 | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#GDNE |
| (Weeting #20) | HEA6QRN2JW | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#256Z |
| (Weeting #21) | QG6JEQD7M6 | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#9N0Y |
| (Weeting #22) | 94XTK8DPZQ | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#R4AH |
| (Weeting #23) | FTDR6BJGJ5 | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#4ZD9 |
| (Weeting #24) | YGQMZ564E0 | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#WM9O |
| (Weeting #4) | MA8CFH78TQ | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#2K1F |
| (Weeting #5) | FTMAX0Q118 | unknown | open | Wikipedia List of people arrested in the News International phone-hacking scandal#2538 |
| (Wilczyński, 2007) | 1BEMRBTE20 | statement | open | Wikipedia Riemann series theorem#SKC9 |
| (αβγ...) | C42HVR48AW | definition | open | Wikipedia Glossary of invariant theory#PUF1 |
| (ε, δ)-definition of limit | WV6KM72K30 | definition | open | Wikipedia List of calculus topics#K1V3 |
| (ε, δ)-definition of limit | ZMMC815Q5W | unknown | open | Wikidata Q1042034, nLab 엡실론-델타 논법 |
| (−2,3,7) pretzel knot | E8BR5HR3MP | definition | open | Wikipedia List of mathematical knots and links#IP84 |
| (−2,3,7) pretzel knot | ZP8W21X7MF | definition | open | Wikipedia (−2,3,7) pretzel knot, Wikidata Q4544970 |
| (∞, n)-category | HNBF8H87PY | definition | open | Wikipedia Glossary of category theory#8KCK |
| (□,□,□) | EBS069Q2W7 | definition | open | Wikipedia Glossary of mathematical symbols#SR0Q |
| * | 17QXA205TV | definition | open | Wikipedia Glossary of mathematical symbols#2TF4 |
| * | C5YG06E5K8 | definition | open | Wikipedia Glossary of set theory#9SUM |
| * | CQR69MDZ2Q | definition | open | Wikipedia Glossary of algebraic topology#0W0N |
| * | FFA73685NC | definition | open | Wikipedia Glossary of functional analysis#SWFJ |
| *-algebra | DC9SXZTCTZ | definition | open | Wikidata Q2836000, MathWorld InvolutiveAlgebra, Wikipedia *-algebra |
| *-algebra | VAACNJXJCX | definition | open | Wikipedia List of algebras#8VJA |
| *-algebra | VAZPX7R5GH | 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.37074#55XD |
| *-autonomous category | RPDX0E4HFX | definition | open | Wikipedia *-autonomous category, Wikidata Q4544973 |
| *-regular semigroup | 5AVSHRAP6B | unknown | open | Wikipedia Semigroup with involution#XIB3 |
| *442 symmetry | S5STB383HC | object | open | Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#MDXY |
| *{Conj.\ 3.15 | CS08VQ2QB8 | conjecture | record (an 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.20306#5MAC |
| *{Conj.\ 6.2 | 7F253BXHV6 | conjecture | record (an 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.20306#V3TG |
| *{Corollary 2.4 | D377JMD1T5 | statement | record (an 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.21945#OLIB |
| *{Corollary 3.9 | KJJ392FANR | statement | record (an 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.03138#2X5J |
| *{Corollary 5.2 | G0NN1F5XK0 | statement | record (an 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.20153#BMFK |
| *{Def. 1.21, Def. 1.23, Prop. 1.24 | 9H7BGRKMBT | statement | record (an 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.23341#VQYG |
| *{Def. 25 | 18MWXR5SB5 | 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.21914#8W3X |
| *{Def. 27 | 7EVYB956F2 | 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.21914#80BM |
| *{Def. 3.2 | WER6CT4024 | 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.21914#JD70 |
| *{Definition 12.1 | NGJTA29E80 | 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.27518#8HEJ |
| *{Definition 2.2 | K48GYA1GMK | 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.27518#Q294 |
| *{Definition 2.2.2 | 8VRMV3AXCD | 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.23341#EUM1 |
| *{Definition 2.2}, *{Definition 2.39 | TKGB60N093 | 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.27518#HMOO |
| *{Definition 2.7 | 8Q76Z3VC3T | 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.06521#UI0Y |
| *{Definition 3.1 | C89XWEDGKS | 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.27518#PRDI |
| *{Definition 3.13 | HG4N7ZVM88 | 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.27518#YTRB |
| *{Definition 5.1 | GGXJK123TY | 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 2403.15255#020W |
| *{Definition 5.14 | ZE5PSTF96K | 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.27518#8TOR |
| *{Definition 5.9 | 7046QEBX4C | 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.27518#YVU4 |
| *{Definitions 3.1.1, 3.2.1, 3.3.2 | NDTKQTJFY6 | 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.23341#2KYB |
| *{Equ. 1.12},*{\S8}, *{Thm. 2.4 | MBPBS7A3D9 | statement | record (an 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.21892#MQJ5 |
| *{Ex. 4.19 | 8GH9X5JRR6 | 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.23341#S5FI |
| *{Ex. 4.19 | KMEJNMEWW7 | 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.23341#ZPTH |
| *{Ex. 4.19}; *{Sec. 2.4; Prop. 2.6; Sec. 3.3 | XTEP667M5V | 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.23341#I2RM |
| *{Lemma 2.5.2 | Y9X3RJ9XYD | statement | record (an 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.04876#7UNA |
| *{Lemma 2.7 | PXMH5HY0KX | statement | record (an 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#498A |
| *{Lemma 2.8 | YZPPBXPT5X | statement | record (an 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.36922#M18D |
| *{Lemma 3.2 | A07AEX5GNP | statement | record (an 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.21945#QKZ7 |
| *{Lemma 3.29 | XCG00Q3MJ2 | statement | record (an 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.21914#OE7P |
| *{Lemma 3.3 | PHEZKWV6G6 | statement | record (an 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.21945#1X9C |
| *{Lemma 4.2.6 | 2STXNG1NF1 | statement | record (an 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.02275#VR1J |
| *{Lemma 4.5 | 8XSQ5T4AMA | statement | record (an 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.27518#SF8C |
| *{Lemma 5 | 28C4MGH81J | statement | record (an 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.03323#IERM |
| *{Lemma 5.25 | 6BH6Q9F6Z5 | statement | record (an 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.21914#ZKZ0 |
| *{Lemma 5.5 | N0RGA8V0F3 | statement | record (an 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.17227#79VN |
| *{Lemma 6.2 | 3DVJXXZJHR | statement | record (an 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#EH89 |
| *{Lemma 6.3 | H077VRR0Z9 | statement | record (an 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#KUTV |
| *{Lemma 7.1 | ZGE611A0PB | statement | record (an 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#XD2V |
| *{Lemmata 2.1, 2.2, 2.3, 2.4, 2.5 | 5N8N8NEE8X | statement | record (an 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.30575#UP6G |
| *{Prop. 3.1 | XQSQ1T0DRA | statement | record (an 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.21914#FZV0 |
| *{Prop. 3.4.2}; *{Sec. 2.2 | EY6GCRKMKR | 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.23341#1CUV |
| *{Prop. 6.1 and the following discussion | 72QEFW1M9H | statement | record (an 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.23341#279Z |
| *{Proposition 2.1 | NQ4V2AX4P1 | statement | record (an 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.37739#1F6D |
| *{Proposition 2.3 | 8PZA30Z507 | statement | record (an 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.37739#GIU2 |
| *{Proposition 2.5 | XZ0MV2W1JT | statement | record (an 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.17227#126C |
| *{Proposition 2.8 | GAQR0YB7DS | statement | record (an 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#MSKR |
| *{Proposition 3.1 | ZFM391Z0S1 | statement | record (an 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.06521#EPWU |
| *{Proposition 3.3.4 | DJ9F8Z8VR8 | statement | record (an 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.23341#5JTB |
| *{Proposition 5.28 | 33TFMTJ94T | statement | record (an 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.21914#MFEB |
| *{Proposition 5.6 | YV81QZ431W | statement | record (an 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.31216#AQH7 |
| *{Propositions 2.4.2 and 2.4.4 | WMY52J0M8Q | statement | record (an 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.02669#TMSV |
| *{Remark 3.8 | 2HB42BXWVM | statement | record (an 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.27518#13OJ |
| *{Sec. 2.2 | 2JRSPP8NGQ | 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.23341#QJEB |
| *{Sec. 2.2 | 2YJY0ZPNB4 | statement | record (an 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.23341#KYK2 |
| *{Sec. 2.2 | MAGW64GDYN | statement | record (an 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.23341#KPX5 |
| *{Sec. 2.3 | H0W1B7WA4V | 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.23341#K7O5 |
| *{Sec. 4.1.2 | QF2AV66RKC | 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.23341#8638 |
| *{Sec. 4.3.1 | Q4J6A2YQC0 | 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.23341#5F97 |