Update cardinality.jl

dlfivefifty · web-flow · commit 0e567f73ac3d · 2021-06-17T15:18:40.000+01:00
diff --git a/src/cardinality.jl b/src/cardinality.jl
@@ -132,7 +132,7 @@ max(ℵ::InfiniteCardinal, ::Infinity) = ℵ
 *(::InfiniteCardinal{N}, ::Infinity) where N = InfiniteCardinal{N}()
 *(::Infinity, ::InfiniteCardinal{N}) where N = InfiniteCardinal{N}()
 function *(a::Integer, b::InfiniteCardinal)
-    a > 0 || throw(ArgumentError("$a is negative"))
+    a > 0 || throw(ArgumentError("$a is non-positive"))
     b
 end
 

Original file line number	Diff line number	Diff line change
`@@ -132,7 +132,7 @@ max(ℵ::InfiniteCardinal, ::Infinity) = ℵ`
`132`	`132`	`*(::InfiniteCardinal{N}, ::Infinity) where N = InfiniteCardinal{N}()`
`133`	`133`	`*(::Infinity, ::InfiniteCardinal{N}) where N = InfiniteCardinal{N}()`
`134`	`134`	`function *(a::Integer, b::InfiniteCardinal)`
`135`		`- a > 0 \|\| throw(ArgumentError("$a is negative"))`
	`135`	`+ a > 0 \|\| throw(ArgumentError("$a is non-positive"))`
`136`	`136`	`b`
`137`	`137`	`end`
`138`	`138`