Math 2.0

Inventory rows YC

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

moduli stack of elliptic curves YC0RCR1RHJ

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

Mentions

History

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

Andrásfai graph YC1EVV74RJ

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

Mentions

History

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

metric dimension YC52VBN3V4

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

Mentions

History

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

zero-symmetric graph YC861RQ7YM

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

Mentions

History

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

star graph S4 YC870KCS6G

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

Mentions

History

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

YC9M9NXKV5 YC9M9NXKV5

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

Mentions

History

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

algebraically closed field YCDVSAHC6A

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

Mentions

  • mathlib_overview: mathlib_overview General algebra > Field theory > algebraically closed field, algebraically closed field (unknown). Also Mathlib IsAlgClosed
  • mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > algebraically closed fields, algebraically closed fields (unknown). Also Mathlib IsAlgClosed

History

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

affine Lie algebra YCEXCG0GZ7

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

Mentions

History

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

excess kurtosis YCRGMD5ERQ

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

Mentions

History

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

simple closed curve YCS558X3EK

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

Mentions

History

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

subharmonic function YCTQAWTAQD

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

Mentions

History

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

(smooth) Hom bundle YCVKX7173W

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

Mentions

History

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

sequences and series of holomorphic functions YCX9NDW4MN

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > sequences and series of holomorphic functions, sequences and series of holomorphic functions (unknown)

History

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