From 9766c4a097d9c6bbc94293ff06867ce712b94775 Mon Sep 17 00:00:00 2001 From: Thibaut Cuvelier Date: Fri, 5 Dec 2025 17:04:29 +0100 Subject: [PATCH] Update sets.jl --- src/sets.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sets.jl b/src/sets.jl index 915966ace8..aaf69260bd 100644 --- a/src/sets.jl +++ b/src/sets.jl @@ -2234,7 +2234,7 @@ function Base.:(==)(x::CountAtLeast, y::CountAtLeast) end """ - CountBelongs(dimenson::Int, set::Set{Int}) + CountBelongs(dimension::Int, set::Set{Int}) The set ``\\{(n, x) \\in \\mathbb{Z}^{1+d}\\}``, such that `n` elements of the vector `x` take on of the values in `set` and `dimension = 1 + d`.