Closed diluculo closed 6 years ago
PR for consistency of arithmetic of infinite. Please see #36.
Much better indeed - thanks!
PR for consistency of arithmetic of infinite. Please see #36.