Dontopedia
Explore

Berrycurvature Lean

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

Berrycurvature Lean has 8 facts recorded in Dontopedia across 2 references, with 1 live disagreement.

8 facts·7 predicates·2 sources·1 in dispute

Mostly:defines berry curvature as(2), is not merely analogous to(1), takes build time(1)

Maturity scale raw canonical shape-checked rule-derived certified

Defines Berry Curvature Asin disputedefinesBerryCurvatureAs

Is Not Merely Analogous toisNotMerelyAnalogousTo

Takes Build TimetakesBuildTime

  • 2m 6s[2]all time · Part 574

Uses TokensusesTokens

  • 2.7k[2]all time · Part 574

Defined ConceptdefinedConcept

Filenamefilename

  • BerryCurvature.lean[1]sourceall time · 571

Rdf:typerdf:type

Inbound mentions (3)

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.

addsFileAdds File(1)

buildsFileBuilds File(1)

includedItemIncluded 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.

8 undated
—
definedConceptblah/watt-activation/571
ex:berry-curvature
—
definesBerryCurvatureAsblah/watt-activation/part-574
ex:bivector-commutator
—
definesBerryCurvatureAsblah/watt-activation/part-574
ex:commutator-f-nabla-f
—
filenameblah/watt-activation/571
BerryCurvature.lean
—
isNotMerelyAnalogousToblah/watt-activation/part-574
ex:bivector-commutator
—
typeblah/watt-activation/571
ex:File
—
takesBuildTimeblah/watt-activation/part-574
2m 6s
—
usesTokensblah/watt-activation/part-574
2.7k

References (2)

2 references
  1. [1]watt-activation-5713 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 5745 facts
    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.

↑