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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 4101–4194 of 4194.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HZ6RDN0DC6 | HZ6RDN0DC6 | 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.37967#VQWW |
| HZ6X0J2Z8G | HZ6X0J2Z8G | unknown | open | arXiv 2610.12239#5AO7 |
| HZ71TWKM7N | HZ71TWKM7N | 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 2207.05628#M25F |
| HZ71ZT65DB | HZ71ZT65DB | 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.17188#5FY9 |
| HZ766PTWR6 | HZ766PTWR6 | 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 2312.01517#847N |
| HZ77C4MAPD | HZ77C4MAPD | 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.18709#LRSM |
| HZ7GJP47R5 | HZ7GJP47R5 | 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.31274#EBAK |
| HZ7J177X8T | HZ7J177X8T | 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.09506#OU0H |
| HZ7QR102Z6 | HZ7QR102Z6 | 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.21036#6UBC |
| HZ8EYB0XMJ | HZ8EYB0XMJ | 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.19023#6WNW |
| HZ9KFE828B | HZ9KFE828B | 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.36088#YOXJ |
| HZAR3QJRQ9 | HZAR3QJRQ9 | 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.39330#1IEH |
| HZB31QZQXV | HZB31QZQXV | 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.21934#9WZM |
| HZBN71KQAJ | HZBN71KQAJ | 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.10958#I3TF |
| HZBXWYADTY | HZBXWYADTY | 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.04214#3MKL |
| HZC6QM6H5P | HZC6QM6H5P | 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.22288#PWFW |
| HZCEH35XJ6 | HZCEH35XJ6 | 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.16875#2GD0 |
| HZCGSMG6BJ | HZCGSMG6BJ | exercise | open | lebl_scv scv.tex#exercise-254 |
| HZD853PY04 | HZD853PY04 | 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.15528#QC5F |
| HZD93EQNKW | HZD93EQNKW | 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.15340#LRT2 |
| HZDCD74S3G | HZDCD74S3G | 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.28323#WVSI |
| HZDKW00F7V | HZDKW00F7V | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-17 |
| HZDPV8YC14 | HZDPV8YC14 | 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.09810#1SNT |
| HZDPYQ1R4R | HZDPYQ1R4R | 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.17442#DS52 |
| HZDV3RT0VZ | HZDV3RT0VZ | 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.28011#IWE6 |
| HZDZR0K4NY | HZDZR0K4NY | example | open | active_calculus source/sec-4-4-FTC.xml#Ex-4-4-1 |
| HZEKZ1CW1S | HZEKZ1CW1S | 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.21730#5EPW |
| HZEM46TYCN | HZEM46TYCN | exercise | open | austin_ula src/section4-2.xml#activity-1 |
| HZETM68M2H | HZETM68M2H | 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.18544#8S4G |
| HZEWT73PDM | HZEWT73PDM | 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.03856#TMH0 |
| HZFA56N396 | HZFA56N396 | 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#6V8V |
| HZFJ0VK9QM | HZFJ0VK9QM | 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 2407.08976#27JJ |
| HZFJ11SKKY | HZFJ11SKKY | 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.37794#IULY |
| HZFYX00GQ8 | HZFYX00GQ8 | unknown | open | |
| HZG4CM6AZR | HZG4CM6AZR | 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#WKEQ |
| HZGD1P07SY | HZGD1P07SY | 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.03384#4JVS |
| HZGDC5MZ7X | HZGDC5MZ7X | 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.22288#TY5R |
| HZGG347C41 | HZGG347C41 | 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 2501.00810#3K44 |
| HZGRHTVMFZ | HZGRHTVMFZ | definition | open | open_logic content/normal-modal-logic/filtrations/preliminaries.tex#defn-1 |
| HZHE7Q7P3Y | HZHE7Q7P3Y | 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.28495#7UUA |
| HZHK7CY1DP | HZHK7CY1DP | 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.06899#5B3G |
| HZJ7QQHZJ5 | HZJ7QQHZJ5 | 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.02141#ODTL |
| HZJ845MS7M | HZJ845MS7M | 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#ODWN |
| HZJFEPS87F | HZJFEPS87F | 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#2JN8 |
| HZJNY9S4RP | HZJNY9S4RP | 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 2108.03672#L2ZK |
| HZJSNN6X5D | HZJSNN6X5D | 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.35467#1O6N |
| HZJYEFJQBY | HZJYEFJQBY | 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#0LMX |
| HZKEXJZ0B7 | HZKEXJZ0B7 | statement | open | hott_book basics.tex#thm:transport-compose |
| HZM1942HBK | HZM1942HBK | 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.10125#1P2D |
| HZMBVSYA0K | HZMBVSYA0K | 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.13913#SKLX |
| HZMD34GGDK | HZMD34GGDK | 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.24789#9VH1 |
| HZMWE45RCZ | HZMWE45RCZ | exercise | open | lebl_ra ch-der.tex#exercise:posderincr |
| HZN87XSQFR | HZN87XSQFR | 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.06081#UL1G |
| HZN8A9ZRV0 | HZN8A9ZRV0 | 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.23834#ZBJ1 |
| HZNHY28SXZ | HZNHY28SXZ | 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.04434#DYSN |
| HZNQYMJM2E | HZNQYMJM2E | 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.13122#HMN7 |
| HZP45J3QDT | HZP45J3QDT | 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 2410.16036#Y8C5 |
| HZPQ3GDS3B | HZPQ3GDS3B | 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#E0UY |
| HZQ70HXSX8 | HZQ70HXSX8 | 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.10233#98W8 |
| HZQQ544HTW | HZQQ544HTW | 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.37252#6KKG |
| HZQYA9WX8E | HZQYA9WX8E | 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.37606#X8QM |
| HZQYQJHZK7 | HZQYQJHZK7 | proof | open | napkin tex/measure/pontryagin.tex#proof-2 |
| HZRSXNCZ0D | HZRSXNCZ0D | 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.28306#F3VO |
| HZS127W9V6 | HZS127W9V6 | 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.22564#Z70F |
| HZS6EQAEJB | HZS6EQAEJB | 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.14446#6VDG |
| HZSX9WVD2R | HZSX9WVD2R | 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.18270#SRD0 |
| HZT6YJNJ5D | HZT6YJNJ5D | 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.20376#J59S |
| HZTKBCCPEA | HZTKBCCPEA | example | open | napkin tex/calculus/limits.tex#example-10 |
| HZV6KKWF4Q | HZV6KKWF4Q | 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.10660#OAUQ |
| HZV8QVH9AN | HZV8QVH9AN | 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/9807180#803K |
| HZVKQKNQQ1 | HZVKQKNQQ1 | 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.25390#451X |
| HZVP9Q3WDC | HZVP9Q3WDC | 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.18302#T4S6 |
| HZW4X6Q9FA | HZW4X6Q9FA | 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.02379#CS1Q |
| HZWX0AZEP4 | HZWX0AZEP4 | 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.09300#M69X |
| HZXN1CZSQS | HZXN1CZSQS | 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 2105.13129#3E3V |
| HZXQ0XHY0E | HZXQ0XHY0E | 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.31782#082P |
| HZXVN0TAJS | HZXVN0TAJS | exercise | open | lebl_ra ch-approximate.tex#exercise:minprinciple |
| HZY7V64NBA | HZY7V64NBA | 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#4CKB |
| HZYAS7SVAV | HZYAS7SVAV | 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.20406#8K0A |
| HZYYHFQ2F2 | HZYYHFQ2F2 | 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.18101#8CVY |
| HZZ0XJ7EKF | HZZ0XJ7EKF | statement | open | ernst_ibl MAAPressVersion/IntroInduction.tex#theorem-2 |
| HZZ704BNBK | HZZ704BNBK | 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.21781#YYR8 |
| HZZJ30ZAZZ | HZZJ30ZAZZ | 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.12908#KUZC |
| Hélène Esnault | S8B0TW969M | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q104173, nLab Hélène Esnault |
| Hölder condition | 4YDFY2AZ4Q | concept | node (a node has the same Wikidata item as the row) | Wikidata Q91259930, MathWorld HoelderCondition |
| Hölder continuity | T29TVJPTN2 | unknown | node (a node has the same name as the row) | mathlib_overview Topology > Metric spaces > Hölder continuity, Mathlib HolderWith |
| Hölder modulus of continuity - uniformly elliptic | DV92E8M9KT | 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.14638#YTMS |
| Hölder space | WQZV8SDJPM | unknown | open | Wikidata Q1643948, EoM Hölder_space |
| Hölder summation | M0RBN0DNKT | concept | open | Wikidata Q15694035, EoM Hölder_summation_methods |
| Hölder's inequality | 4GNJS22YQ5 | statement | open | Wikidata Q731894, EoM Hölder_inequality, MathWorld HoeldersInequalities, nLab Hölder's inequality, ProofWiki Hölder's_Inequality |
| Hölder's inequality | MTZQ3G9BJF | unknown | open | mathlib_undergrad Measures and integral calculus > Integration > Hölder's inequality, Mathlib NNReal.lintegral_mul_le_Lp_mul_Lq |
| Hölder's inequality for sums | KCFSRZFNAZ | statement | node (a node has the same name as the row) | Wikidata Q117184219, ProofWiki Hölder's_Inequality_for_Sums |
| Hölder's theorem | S5870S9ZAK | statement | open | mathlib_1000 Q1995468, Wikidata Q1995468, thousand_plus Q1995468, Wikipedia Hölder's theorem |
| Hörmander's condition | 24PTDCFN6C | concept | open | Wikidata Q5964696, nLab Hörmander's condition |