Commit 2023-07-19 11:59 4eb7e840

View on Github →

feat(NumberTheory/Padics/PadicVal): factorial_choose (#5862)

Estimated changes

added theorem padicValNat_choose