Dontopedia
Explore

Spin Group Connection Lean

From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-05-02.)

Spin Group Connection Lean has 2 facts recorded in Dontopedia across 1 reference.

2 facts·2 predicates·1 sources
Maturity scale raw canonical shape-checked rule-derived certified

Bridgesbridges

Describesdescribes

  • bridge IsRotor to Mathlib spinGroup[1]all time · Part 575

Inbound mentions (2)

Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.

interfacedWithInterfaced With(1)

listsFileLists File(1)

Timeline

Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.

2 undated
—
bridgesblah/watt-activation/part-575
ex:is-rotor-to-mathlib-spin-group
—
describesblah/watt-activation/part-575
bridge IsRotor to Mathlib spinGroup

References (1)

1 references
  1. [1]Part 5752 facts
    customctx:discord/blah/watt-activation/part-575

See also

Keep researching

Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.

↑