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,