Inventory rows 96
The cards of the rows of the inventory whose ids start with 96. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
trefoil knot 961093BERW
| URI | m2://inv/961093BERW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q168620, trefoil knot (unknown). Also MathWorld TrefoilKnot, nLab trefoil knot
History
- 2026-10-26: add by m2/dev
orthogonal projection 9612HPM9EX
| URI | m2://inv/9612HPM9EX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q980329, orthogonal projection (unknown). Also MathWorld OrthogonalProjection, MathWorld VectorSpaceProjection
History
- 2026-10-26: add by m2/dev
Lebesgue measure 964K9T7X2J
| URI | m2://inv/964K9T7X2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Lebesgue measure, Lebesgue measure (unknown). Also Mathlib Real.measureSpace
History
- 2026-10-26: add by m2/dev
Bankoff circle 966EECPDM3
| URI | m2://inv/966EECPDM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q806818, Bankoff circle (unknown). Also MathWorld BankoffCircle
History
- 2026-10-26: add by m2/dev
conformal anomaly 966NAV5P3J
| URI | m2://inv/966NAV5P3J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5160243, conformal anomaly (unknown). Also nLab conformal anomaly
History
- 2026-10-26: add by m2/dev
orthogonality of characters 96C7P6QVM3
| URI | m2://inv/96C7P6QVM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Representation theory > orthogonality of characters, orthogonality of characters (unknown). Also Mathlib FDRep.char_orthonormal
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > orthogonality of irreducible characters, orthogonality of irreducible characters (unknown). Also Mathlib FDRep.char_orthonormal
History
- 2026-10-26: add by m2/dev
Bondy's theorem 96EEXHMMNA
| URI | m2://inv/96EEXHMMNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3443426, Bondy's theorem (statement). Also Wikidata Q3443426
- thousand_plus: thousand_plus Q3443426, Bondy's theorem (statement). Also Wikidata Q3443426, Wikipedia Bondy's theorem
History
- 2026-10-26: add by m2/dev
Fourier series 96S7MFMTMA
| URI | m2://inv/96S7MFMTMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 43-XX |
| Sources | 5 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q179467, Fourier theorem (statement). Also Mathlib MeasureTheory.Integrable.fourierInv_fourier_eq, Mathlib Continuous.fourierInv_fourier_eq, Wikidata Q179467
- mathlib_1000: mathlib_1000 Q3984053, Fourier inversion theorem (statement). Also Mathlib Continuous.fourierInv_fourier_eq, Wikidata Q3984053
- mathlib_overview: mathlib_overview Analysis > Fourier analysis > inversion formula, inversion formula (unknown). Also Mathlib Continuous.fourierInv_fourier_eq
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier inversion formula, Fourier inversion formula (unknown). Also Mathlib Continuous.fourierInv_fourier_eq
- thousand_plus: thousand_plus Q179467, Fourier theorem (statement). Also Mathlib MeasureTheory.Integrable.fourierInv_fourier_eq, Mathlib Continuous.fourierInv_fourier_eq, Wikidata Q179467, Wikipedia Fourier theorem
- thousand_plus: thousand_plus Q3984053, Fourier inversion theorem (statement). Also Mathlib Continuous.fourierInv_fourier_eq, Wikidata Q3984053, Wikipedia Fourier inversion theorem
- wikidata: Wikidata Q179467, Fourier series (concept). Also EoM Fourier_series, MathWorld FourierSeries, ProofWiki Definition:Fourier_Series/Formulation_1
- wikidata: Wikidata Q3984053, Fourier inversion theorem (statement). Also nLab Fourier inversion theorem
History
- 2026-10-26: add by m2/dev
- 2026-10-26: merge by m2/dev