Math 2.0

Inventory rows G2

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

orthogonal complement G20Z36F7VP

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

Mentions

  • mathlib_overview: mathlib_overview Analysis > Hilbert spaces > orthogonal complement, orthogonal complement (unknown). Also Mathlib Submodule.orthogonal
  • mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > orthogonal complement, orthogonal complement (unknown). Also Mathlib Submodule.orthogonal

History

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

quasi-category G238RA3FW6

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

Mentions

History

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

flabby sheaf G23R6HTNPB

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

Mentions

History

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

Meyniel graph G25R2BQFK7

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

Mentions

History

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

topological graph G29FNM9ABB

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

Mentions

History

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

spheroid G2JFFKGCTP

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

Mentions

History

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

triangular function G2KT419N60

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

Mentions

History

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

Bitcoin G2RRRD5VWR

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

Mentions

History

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

distributive law between monads G2TC5GTCBB

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

Mentions

History

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

canonical form G2XNNM3B9B

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

Mentions

History

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