From 7ca651ddaaa6b0901a1c05b802ca9f6b8eacd51f Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Mon, 2 Sep 2024 17:31:03 +0200 Subject: [PATCH] splittidempotent --- verifiserte_termer.csv | 1 + 1 file changed, 1 insertion(+) diff --git a/verifiserte_termer.csv b/verifiserte_termer.csv index e62df7b..696804e 100644 --- a/verifiserte_termer.csv +++ b/verifiserte_termer.csv @@ -3692,3 +3692,4 @@ underliggende,underliggjande,underlying, underliggende mengde,underliggjande mengd,underlying set, ekvivariant ekvivalens,ekvivariant ekvivalens,equivariant equivalence, banekategori,banekategori,orbit category, +splittidempotent,splittidempotent,split idempotent,