PR #9925: feat(data/nat/choose): add facts about the mult...

Stream: triage

[Random Issue Bot]

Today I chose PR 9925 for discussion!

feat(data/nat/choose): add facts about the multiplicity of primes in the factorisation of central binomial coefficients
Created by @Patrick Stevens (@Smaug123) on 2021-10-24
Labels: awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?