Inventory: H
The rows of the inventory whose names start with H. 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 2501–2600 of 7946.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HC90G3A4F5 | HC90G3A4F5 | statement | open | hott_book equivalences.tex#lem:coh-equiv |
| HC929Z30NV | HC929Z30NV | example | open | lebl_diffyqs ap-linear-algebra.tex#example-11 |
| HC987D3ZB1 | HC987D3ZB1 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-23 |
| HCAD3A434D | HCAD3A434D | 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.20077#8OQ8 |
| HCB4TNP8T3 | HCB4TNP8T3 | 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.34876#329U |
| HCB9DEPPPT | HCB9DEPPPT | 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.27056#CYGT |
| HCBAGX3HC4 | HCBAGX3HC4 | 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.14847#6R68 |
| HCBF4AM841 | HCBF4AM841 | 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.32916#QFDI |
| HCBX14FPBE | HCBX14FPBE | 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.14838#SOPR |
| HCD3227S5X | HCD3227S5X | 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.23004#B103 |
| HCD5SW5YKM | HCD5SW5YKM | 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.11652#C9R6 |
| HCDF1PSDSX | HCDF1PSDSX | 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.21358#C3F9 |
| HCDXRK5EJS | HCDXRK5EJS | 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.30086#BCN3 |
| HCE0C7GST7 | HCE0C7GST7 | 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 2310.02073#GZ3P |
| HCEXBAF35D | HCEXBAF35D | 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.22777#U0ZD |
| HCF | KYGBKSK2Y9 | definition | open | Wikipedia Glossary of commutative algebra#W38G |
| HCG64Z9C13 | HCG64Z9C13 | 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.26033#Y79V |
| HCGJ0ZFCHJ | HCGJ0ZFCHJ | 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 2606.12009#IUXD |
| HCGNM8ETN9 | HCGNM8ETN9 | 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#V6V3 |
| HCGQTRS1ZS | HCGQTRS1ZS | 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.03337#E38V |
| HCGW8D5PZR | HCGW8D5PZR | 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.04758#8JIA |
| HCGXSVNC54 | HCGXSVNC54 | 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.24206#P35O |
| HCH0GP9PWP | HCH0GP9PWP | definition | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#def:equivalence class |
| HCH8DWWM2Z | HCH8DWWM2Z | 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.22090#9SXJ |
| HCJ0CHD6Y6 | HCJ0CHD6Y6 | proof | open | napkin tex/alg-NT/norm-trace.tex#proof-4 |
| HCJ1TJ7ZKG | HCJ1TJ7ZKG | 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.10937#MMSN |
| HCJMJSNP97 | HCJMJSNP97 | 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 1912.02769#HYDG |
| HCK3K01V2Z | HCK3K01V2Z | 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.24640#X5KC |
| HCK429QF3N | HCK429QF3N | 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.17325#RWR1 |
| HCKFK09BT2 | HCKFK09BT2 | 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.02628#4IYX |
| HCKMW280QW | HCKMW280QW | 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.10527#IIXF |
| HCKZW8QGCK | HCKZW8QGCK | 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.08912#RW5M |
| HCM277RGDP | HCM277RGDP | 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.16178#7EBC |
| HCMEWCAD0M | HCMEWCAD0M | 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.11965#DZE1 |
| HCNWM6HVW4 | HCNWM6HVW4 | 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.03746#2WDD |
| HCNZSVCHZH | HCNZSVCHZH | 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 2308.05066#FI55 |
| HCP6NSD4V5 | HCP6NSD4V5 | 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.25004#DMO3 |
| HCPMRN583J | HCPMRN583J | definition | open | napkin tex/topology/top-more.tex#definition-5 |
| HCPPFCGTDF | HCPPFCGTDF | statement | open | open_logic content/set-theory/spine/rank.tex#ranksupstrict |
| HCPYNFF0QZ | HCPYNFF0QZ | 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 2601.10370#9RHM |
| HCQ6XC3QYV | HCQ6XC3QYV | proof | open | lebl_ra ch-seq-ser.tex#proof-28 |
| HCRFGASJ1Z | HCRFGASJ1Z | 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 2605.24355#DA3W |
| HCRGTFES2K | HCRGTFES2K | 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.39317#VAW6 |
| HCRKPBTQJ4 | HCRKPBTQJ4 | 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.29531#7T28 |
| HCS842FQ4F | HCS842FQ4F | statement | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#lem:cont |
| HCST3F9V02 | HCST3F9V02 | 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 1512.06981#YIZG |
| HCSVBPEZT7 | HCSVBPEZT7 | 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/0008020#J4CF |
| HCT1TA44BT | HCT1TA44BT | 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.30203#WA1G |
| HCTFRN0ZEC | HCTFRN0ZEC | 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.14214#8X06 |
| HCTGE8MB76 | HCTGE8MB76 | 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.21092#S2SJ |
| HCTHQ1N147 | HCTHQ1N147 | 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.31127#4Q1M |
| HCV36Z0MGQ | HCV36Z0MGQ | 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.39218#04CS |
| HCV4T3FS07 | HCV4T3FS07 | 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.26401#HCAA |
| HCVBG5FYEH | HCVBG5FYEH | example | open | lebl_diffyqs ch-laplace.tex#example-17 |
| HCVD3JEK22 | HCVD3JEK22 | 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.11210#QVV5 |
| HCVT6KE6HW | HCVT6KE6HW | 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.35398#KVRY |
| HCW4XB8GTS | HCW4XB8GTS | 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.22317#MZA0 |
| HCWJKS3ZE5 | HCWJKS3ZE5 | example | open | active_calculus source/sec-5-4-parts.xml#example-3 |
| HCWK86SD63 | HCWK86SD63 | 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 2203.15223#KS43 |
| HCWQXT23VE | HCWQXT23VE | 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 2602.07485#AL69 |
| HCX0JPZDTT | HCX0JPZDTT | proof | open | hott_book categories.tex#proof-17 |
| HCY153QYZT | HCY153QYZT | 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 1804.06366#96PN |
| HCYBFA9MA7 | HCYBFA9MA7 | 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.16541#VYTE |
| HCYFG5AQER | HCYFG5AQER | statement | open | open_logic content/first-order-logic/models-theories/size-of-structures.tex#prop-1 |
| HCZ674P2XG | HCZ674P2XG | 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.19660#TVSP |
| HCZ82BSPTX | HCZ82BSPTX | 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 2606.02312#DTF9 |
| HCZS013QEZ | HCZS013QEZ | 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.17909#G080 |
| HCZTQPE6KA | HCZTQPE6KA | 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.21949#BB26 |
| HD06M39V57 | HD06M39V57 | 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.13328#S7S6 |
| HD0D7X4KE1 | HD0D7X4KE1 | 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.32078#O003 |
| HD0NTZG2E8 | HD0NTZG2E8 | statement | open | levin_dmoi ptx/sec_gt-trees.ptx#prop-tree-edge-vertex |
| HD1XHK6KD2 | HD1XHK6KD2 | definition | open | napkin tex/linalg/dual-trace.tex#definition-1 |
| HD22E9YQ9Z | HD22E9YQ9Z | 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.32916#7AFL |
| HD2KYAC9TW | HD2KYAC9TW | 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.25111#YMNC |
| HD2T9SWRJH | HD2T9SWRJH | unknown | open | arXiv 2211.01586#JLWA |
| HD39TTS32R | HD39TTS32R | 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.32946#74YF |
| HD3D7BK6B1 | HD3D7BK6B1 | 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.00379#E8A7 |
| HD3FWX9MKR | HD3FWX9MKR | 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.06381#P3CY |
| HD3QP9MK4S | HD3QP9MK4S | exercise | open | napkin tex/H113/ring-intro.tex#problem-1 |
| HD54RKR83Z | HD54RKR83Z | 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.24325#JXH5 |
| HD58861JMB | HD58861JMB | example | open | active_calculus source/sec-7-4-separable.xml#Ex-7-4-1 |
| HD5NS87RDP | HD5NS87RDP | 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.32903#TJG2 |
| HD60T929QA | HD60T929QA | 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.25353#RUXL |
| HD698QN5CC | HD698QN5CC | exercise | open | austin_ula src/exercises/exercises6-4.xml#exercise-4 |
| HD6A42D3R2 | HD6A42D3R2 | 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.26813#2IOP |
| HD6CFVJV4Q | HD6CFVJV4Q | 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.18302#KQK3 |
| HD6KE85BZS | HD6KE85BZS | 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.13629#3266 |
| HD6TB70MYW | HD6TB70MYW | 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.25188#MXLS |
| HD70BXPDA1 | HD70BXPDA1 | 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.27125#EZL5 |
| HD723CGM0S | HD723CGM0S | example | open | napkin tex/quantum/shor.tex#example-1 |
| HD7JPPE7H7 | HD7JPPE7H7 | exercise | open | lebl_scv scv.tex#exercise-190 |
| HD821CEZ1K | HD821CEZ1K | 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.38556#O1P4 |
| HD87JDTZZM | HD87JDTZZM | 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.23634#KLXQ |
| HD8EVXDJ2E | HD8EVXDJ2E | 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.18992#MRP8 |
| HD8F6F933V | HD8F6F933V | 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.30262#EU33 |
| HD8NHKYAGD | HD8NHKYAGD | 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#GQ7H |
| HD8ZF31ZJT | HD8ZF31ZJT | 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.10968#JGE0 |
| HD9XEVQMK0 | HD9XEVQMK0 | 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.01915#FNY6 |
| HD9ZGFFVYS | HD9ZGFFVYS | 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#0G2U |
| HD9ZH4PBRF | HD9ZH4PBRF | 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.21724#NZVA |