Inventory rows FF
The cards of the rows of the inventory whose ids start with FF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Caesar cipher FF13FW8B3K
| URI | m2://inv/FF13FW8B3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q180943, Caesar cipher (definition). Also MathWorld CaesarsMethod, ProofWiki Definition:Caesar_Cipher
History
- 2026-10-26: add by m2/dev
Jakob Nielsen FF1F3GZSBY
| URI | m2://inv/FF1F3GZSBY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q710995, Jakob Nielsen (unknown). Also ProofWiki Mathematician:Jakob_Nielsen
History
- 2026-10-26: add by m2/dev
La Géométrie FF1XCSNSX4
| URI | m2://inv/FF1XCSNSX4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q210113, La Géométrie (unknown). Also ProofWiki Book:René_Descartes/La_Géométrie
History
- 2026-10-26: add by m2/dev
Milman–Pettis theorem FF4FMNT8SE
| URI | m2://inv/FF4FMNT8SE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6860180, Milman–Pettis theorem (statement). Also Wikidata Q6860180
- thousand_plus: thousand_plus Q6860180, Milman–Pettis theorem (statement). Also Wikidata Q6860180, Wikipedia Milman–Pettis theorem
History
- 2026-10-26: add by m2/dev
conditional expectation FFGC27ZEK7
| URI | m2://inv/FFGC27ZEK7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Conditional expectation 0TTDGTEFMN |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Definitions in probability theory > conditional expectation, conditional expectation (unknown). Also Mathlib MeasureTheory.condExp
- wikidata: Wikidata Q772232, conditional expectation (unknown). Also Mathlib MeasureTheory.condExp, nLab conditional expectation
History
- 2026-10-26: add by m2/dev
Lauricella hypergeometric series FFH46VYVCN
| URI | m2://inv/FFH46VYVCN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754612, Lauricella hypergeometric series (concept). Also MathWorld LauricellaFunctions
History
- 2026-10-26: add by m2/dev
complete metric spaces FFKSCMGY08
| URI | m2://inv/FFKSCMGY08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > complete metric spaces, complete metric spaces (unknown). Also Mathlib Metric.complete_of_cauchySeq_tendsto
History
- 2026-10-26: add by m2/dev
solved problem FFM3QXH5XR
| URI | m2://inv/FFM3QXH5XR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121357002, solved problem (unknown). Also MathWorld SolvedProblems
History
- 2026-10-26: add by m2/dev
augmented hexagonal prism FFMB0THCQ7
| URI | m2://inv/FFMB0THCQ7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q643128, augmented hexagonal prism (object). Also MathWorld AugmentedHexagonalPrism
History
- 2026-10-26: add by m2/dev
John Morgan FFR2YV34HV
| URI | m2://inv/FFR2YV34HV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q139214, John Morgan (unknown). Also nLab John Morgan
History
- 2026-10-26: add by m2/dev
Fejer theorem FFTA9T9A9T
| URI | m2://inv/FFTA9T9A9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Fejer theorem, Fejer theorem (unknown)
History
- 2026-10-26: add by m2/dev
Arthur Cayley FFWZA3JESY
| URI | m2://inv/FFWZA3JESY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q159430, Arthur Cayley (unknown). Also nLab Arthur Cayley, ProofWiki Mathematician:Arthur_Cayley
History
- 2026-10-26: add by m2/dev