karoubi_envelopes
1 row where category = "Op(FinCartSp)"
This data as json, CSV (advanced)
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE "karoubi_envelopes" ( "category" TEXT NOT NULL UNIQUE, "completion" TEXT NOT NULL, FOREIGN KEY("category") REFERENCES "categories"("name"), FOREIGN KEY("completion") REFERENCES "categories"("name"), PRIMARY KEY("category") );