Math 2.0

Inventory rows GY

The cards of the rows of the inventory whose ids start with GY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.

Lyle E. Pursell GY1M30B8K0

URIm2://inv/GY1M30B8K0
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

No-three-in-line problem GYGFS1MP8E

URIm2://inv/GYGFS1MP8E
Kindproblem
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Euler's totient function ($\varphi$) GYH1ZXC9JV

URIm2://inv/GYH1ZXC9JV
Kindunknown
Layertextbook
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > Euler's totient function ($\varphi$), Euler's totient function ($\varphi$) (unknown). Also Mathlib Nat.totient
  • mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > Euler's totient function ($\varphi$), Euler's totient function ($\varphi$) (unknown). Also Mathlib Nat.totient

History

  • 2026-10-26: add by m2/dev

functor GYKQDJ8X34

URIm2://inv/GYKQDJ8X34
Kinddefinition
Layertextbook
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Hensel's lemma (for $\mathbb{Z}_p$) GYMDAK35ZT

URIm2://inv/GYMDAK35ZT
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview General algebra > Number theory > Hensel's lemma (for $\mathbb{Z}_p$), Hensel's lemma (for $\mathbb{Z}_p$) (unknown). Also Mathlib hensels_lemma

History

  • 2026-10-26: add by m2/dev

du Bois-Reymond constants GYR9625PQA

URIm2://inv/GYR9625PQA
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Sylvester–Gallai theorem GYRKQCRMRC

URIm2://inv/GYRKQCRMRC
Kindstatement
Layertextbook
MSC51-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

mass–energy equivalence GYVNPSJDGW

URIm2://inv/GYVNPSJDGW
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

dyne GYVQ93JWA9

URIm2://inv/GYVQ93JWA9
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Michael R. Douglas GYWA8DJHRT

URIm2://inv/GYWA8DJHRT
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

spectral sequence GYWQTYJ9GF

URIm2://inv/GYWQTYJ9GF
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev