there#

Results 3 comments of there#

I’d suggest that we still show deprecated results, because if someone is looking for docs for a deprecated function, it could be confusing if it doesn’t show up in the...

I’m working on a PR now. If we *really* want to optimize it, we could create a new `Kernel.Basics` function `isPositiveInfinity`, because `isInfinite` checks for both positive and negative infinities...

(linking to issue) #1107