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 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 4001–4070 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 | |
| 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 |
| 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 |
| 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 |
| 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 |