Merge pull request #3755 from JuliaReach/schillic/lazyset

`LazySet`: revise docs entries, shorten docs

Author: schillic

docs/src/lib/concrete_binary_operations/cartesian_product.md

@@ -18,6 +18,5 @@ CurrentModule = LazySets
 ```
 
 ```@docs
-cartesian_product(::LazySet, ::LazySet)
 cartesian_product(::SparsePolynomialZonotope, ::AbstractZonotope)
 ```

docs/src/lib/concrete_binary_operations/convex_hull.md

@@ -10,7 +10,6 @@ CurrentModule = LazySets
 # Convex Hull
 
 ```@docs
-convex_hull(::LazySet, ::LazySet)
 convex_hull(::Vector{VN}) where {N, VN<:AbstractVector{N}}
 monotone_chain!
 ```

docs/src/lib/concrete_binary_operations/isdisjoint.md

@@ -88,7 +88,6 @@ CurrentModule = LazySets
 ```
 
 ```@docs
-isdisjoint(::LazySet, ::LazySet, ::Bool=false)
 isdisjoint(::AbstractHyperrectangle, ::AbstractHyperrectangle, ::Bool=false)
 isdisjoint(::LazySet, ::AbstractSingleton, ::Bool=false)
 isdisjoint(::AbstractZonotope, ::Hyperplane, ::Bool=false)

docs/src/lib/concrete_binary_operations/issubset.md

@@ -110,7 +110,6 @@ CurrentModule = LazySets
 ```
 
 ```@docs
-⊆(::LazySet, ::LazySet, ::Bool=false)
 ⊆(::LazySet, ::AbstractHyperrectangle, ::Bool=false)
 ⊆(::AbstractPolytope, ::AbstractHyperrectangle, ::Bool=false)
 ⊆(::AbstractZonotope, ::AbstractHyperrectangle)

docs/src/lib/concrete_binary_operations/minkowski_difference.md

@@ -18,7 +18,6 @@ CurrentModule = LazySets
 ```
 
 ```@docs
-minkowski_difference(::LazySet, ::LazySet)
 minkowski_difference(::AbstractZonotope, ::AbstractZonotope)
 minkowski_difference(::AbstractHyperrectangle, ::AbstractHyperrectangle)
 ```

docs/src/lib/concrete_binary_operations/minkowski_sum.md

@@ -18,7 +18,6 @@ CurrentModule = LazySets
 ```
 
 ```@docs
-minkowski_sum(::LazySet, ::LazySet)
 minkowski_sum(::AbstractHyperrectangle, ::AbstractHyperrectangle)
 minkowski_sum(::AbstractZonotope, ::AbstractZonotope)
 minkowski_sum(::DensePolynomialZonotope, ::AbstractZonotope)