Commit 2023-09-06 11:21 a0814b88

chore: remove succ from Stirling (#6280) The Stirling formula file was full of n.succ whose only purpose was to steer automatic coercion to a real number. Then formulas became unreadable and had to be restated in docstrings, leading to the error flagged on zulip