Inventory rows TF
The cards of the rows of the inventory whose ids start with TF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
rigid category TF5RK02BMV
| URI | m2://inv/TF5RK02BMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7333804, rigid category (unknown). Also nLab rigid monoidal category
History
- 2026-10-26: add by m2/dev
confidence interval TF7A8YJYQ4
| URI | m2://inv/TF7A8YJYQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Confidence interval 0S6T9KQNC0 |
Mentions
- wikidata: Wikidata Q208498, confidence interval (unknown). Also MathWorld ConfidenceInterval
History
- 2026-10-26: add by m2/dev
splitting principle TF80PFD1XT
| URI | m2://inv/TF80PFD1XT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7578745, splitting principle (unknown). Also nLab splitting principle
History
- 2026-10-26: add by m2/dev
sphere bundle TFB5VSZZQ4
| URI | m2://inv/TFB5VSZZQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51544038, sphere bundle (unknown). Also nLab sphere fiber bundle
History
- 2026-10-26: add by m2/dev
first isomorphism theorem for commutative rings TFE6JWT8FY
| URI | m2://inv/TFE6JWT8FY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Ideals and quotients > first isomorphism theorem for commutative rings, first isomorphism theorem for commutative rings (unknown). Also Mathlib RingHom.quotientKerEquivOfSurjective
History
- 2026-10-26: add by m2/dev
determinant TFFQ84FHBE
| URI | m2://inv/TFFQ84FHBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Determinant 00KDZRW4C0 |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Matrices > determinant, determinant (unknown). Also Mathlib Matrix.det
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > determinant, determinant (unknown). Also Mathlib Matrix.det
- wikidata: Wikidata Q178546, determinant (unknown). Also EoM determinant, Mathlib Matrix.det, MathWorld Determinant, nLab determinant
History
- 2026-10-26: add by m2/dev
natural bundle TFK7ZRSZG4
| URI | m2://inv/TFK7ZRSZG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36775500, natural bundle (unknown). Also nLab natural bundle
History
- 2026-10-26: add by m2/dev
Ian Keith Affleck TFMF8ZEAK8
| URI | m2://inv/TFMF8ZEAK8 |
|---|---|
| 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 Q1655419, Ian Keith Affleck (unknown). Also nLab Ian Affleck
History
- 2026-10-26: add by m2/dev
thickness TFNYPHRCWZ
| URI | m2://inv/TFNYPHRCWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18394143, thickness (unknown). Also MathWorld GraphThickness
History
- 2026-10-26: add by m2/dev
relative error TFRB2WXQQZ
| URI | m2://inv/TFRB2WXQQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12375413, relative error (unknown). Also MathWorld RelativeError
History
- 2026-10-26: add by m2/dev
inner automorphism TFRZSX86RN
| URI | m2://inv/TFRZSX86RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Inner automorphism 0RN00NTM3S |
Mentions
- wikidata: Wikidata Q1139583, inner automorphism (definition). Also EoM Inner_automorphism, MathWorld InnerAutomorphism, nLab inner automorphism, ProofWiki Definition:Inner_Automorphism
History
- 2026-10-26: add by m2/dev
pedial circle TFWFGGBE3S
| URI | m2://inv/TFWFGGBE3S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111207795, pedial circle (unknown). Also MathWorld PedalCircle
History
- 2026-10-26: add by m2/dev
Lebesgue point TFWYE91SCD
| URI | m2://inv/TFWYE91SCD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q388660, Lebesgue point (concept). Also EoM Lebesgue_point
History
- 2026-10-26: add by m2/dev