removed redundant function

src/Approximations/decompositions.jl

@@ -582,28 +582,3 @@ function project(P::HPolyhedron{N}, block::AbstractVector{Int}) where {N}
               "for a general block structure is not implemented yet")
     end
 end
-
-"""
-    function project(S::LazySet{N},
-                    block::AbstractVector{Int},
-                    set_type::Type{<:LinearMap},
-                    n::Int=dim(S),
-                    ε::Real=Inf)::LinearMap
-Project a high-dimensional set to a low-dimensional set by a lazy linear map.
-### Input
-- `S` -- set
-- `block` -- block structure - a vector with the dimensions of interest
-- `set_type` -- `Hyperrectangle` - used for dispatch
-- `n` -- (optional, default: `dim(S)`) ambient dimension of the set `S`
-- `ε` -- (optional, default: `Inf`) - used for dispatch, ignored
-### Output
-A lazy `LinearMap` representing a projection of the high-dimensional set to a low-dimensional.
-"""
-@inline function project(S::LazySet{N},
-                block::AbstractVector{Int},
-                set_type::Type{<:LinearMap},
-                n::Int=dim(S),
-                ε::Real=Inf)::LinearMap where {N<:Real}
-    M = sparse(1:length(block), block, ones(N, length(block)), length(block), n)
-    return M * S
-end