Math 2.0

Inventory rows G6

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

Newlander–Nirenberg theorem G60BB3G1YP

URIm2://inv/G60BB3G1YP
Kindstatement
Layertextbook
MSC53-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

inch G610AT6ZJS

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

Mentions

History

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

trigyrate rhombicosidodecahedron G613HKCHZP

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

Mentions

History

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

Tietze's graph G61RS518T8

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

Mentions

History

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

DFA G63EHPFMW1

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

Mentions

  • mathlib_overview: mathlib_overview Logic and computation > Formal languages > DFA, DFA (unknown). Also Mathlib DFA

History

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

sign relation G68REH05PJ

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

Mentions

History

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

D. G. Champernowne G68TZW5NFQ

URIm2://inv/G68TZW5NFQ
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

Thomas Klose G6AWZJZ89Z

URIm2://inv/G6AWZJZ89Z
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

asymmetric relation G6FGYDHWE6

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

Mentions

History

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

icosidodecahedron G6J9GWG9MV

URIm2://inv/G6J9GWG9MV
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

log-likelihood G6KK6XBX2Z

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

Mentions

History

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

universal algebra G6NVAYV9AD

URIm2://inv/G6NVAYV9AD
Kindtopic
Layertextbook
MSC08
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

closure G6Q2M5JD24

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

Mentions

  • mathlib_overview: mathlib_overview Topology > General topology > closure, closure (unknown). Also Mathlib closure

History

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

ring G6QH5EW4Z5

URIm2://inv/G6QH5EW4Z5
Kinddefinition
Layertextbook
Sources3
Outcomeopen
NodeRing 0B1261B5ED

Mentions

History

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

evil number G6S00R5C4G

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

Mentions

History

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

sum of normally distributed random variables G6Y44DFXQS

URIm2://inv/G6Y44DFXQS
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeSum of independent normal random variables 0NXGPJWNFN

Mentions

History

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