From 0682da4552fd4283fc7200c8466d605186339d36 Mon Sep 17 00:00:00 2001 From: Script Raccoon Date: Fri, 15 May 2026 12:48:29 +0200 Subject: [PATCH 1/2] remove irrelevant conclusions from relevant implications for given property --- src/routes/category-property/[id]/+page.server.ts | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/routes/category-property/[id]/+page.server.ts b/src/routes/category-property/[id]/+page.server.ts index 5cd6461c2..2c0cd3047 100644 --- a/src/routes/category-property/[id]/+page.server.ts +++ b/src/routes/category-property/[id]/+page.server.ts @@ -100,6 +100,12 @@ export const load = async (event) => { const relevant_implications = relevant_implications_db.map(display_implication) + for (const impl of relevant_implications) { + if (!impl.is_equivalence && impl.conclusions.includes(id)) { + impl.conclusions = [id] + } + } + return render_nested_formulas({ property, related_properties, From 08485e25a9eed64e805bcc03e4a4fc51ce4262fa Mon Sep 17 00:00:00 2001 From: Script Raccoon Date: Fri, 15 May 2026 13:14:25 +0200 Subject: [PATCH 2/2] remove redundant conclusion --- databases/catdat/data/category-implications/products.yaml | 1 - 1 file changed, 1 deletion(-) diff --git a/databases/catdat/data/category-implications/products.yaml b/databases/catdat/data/category-implications/products.yaml index 1182b2c3b..f2b5bb2bd 100644 --- a/databases/catdat/data/category-implications/products.yaml +++ b/databases/catdat/data/category-implications/products.yaml @@ -5,7 +5,6 @@ - products conclusions: - countable products - - finite products - powers reason: This is trivial. is_equivalence: false