ParentFull threadeeegnu·If the context isn't a formal proof, you can safely substitute infinite with 'might as well be infinite' most of the time to get the intended meaning.View on HN