Dontopedia
Explore

Kerrmetric Lean

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

Kerrmetric Lean has 3 facts recorded in Dontopedia across 2 references.

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

Formalizes Kerr Black Hole informalizesKerrBlackHoleIn

Defined ConceptdefinedConcept

Filenamefilename

  • KerrMetric.lean[1]sourceall time · 571

Inbound mentions (1)

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.

listedSubItemListed Sub Item(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.

3 undated
—
definedConceptblah/watt-activation/571
ex:kerr-black-hole
—
filenameblah/watt-activation/571
KerrMetric.lean
—
formalizesKerrBlackHoleInblah/watt-activation/part-574
ex:clifford-algebra

References (2)

2 references
  1. [1]watt-activation-5712 facts
    customctx:discord/blah/watt-activation/571
    • full textwatt-activation-571
      text/plain2 KBdoc:agent/watt-activation-571/74380dd9-ee8b-44ee-97b2-14fc22557426
      Show excerpt
      [2026-03-25 20:08] xenonfun: · Building BerryCurvature.lean… (2m 6s · ↓ 2.7k tokens) ⎿  ◼ BerryCurvature.lean — Berry curvature = bivector commutator ◻ ConformalScaling.lean — sync equation under conformal rescaling ◻ NullTetrad…
  2. [2]Part 5741 fact
    customctx:discord/blah/watt-activation/part-574

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.

↑