Support binomial coefficients in LEAN formula generation#583

Copilot wants to merge 4 commits intomainloda-lang/loda-cpp:mainfrom

copilot/support-binomial-in-leanloda-lang/loda-cpp:copilot/support-binomial-in-leanCopy head branch name to clipboard