Commit 2023-07-19 14:22 05eae2dd

View on Github →

feat(NumberTheory/Padics/PadicVal): padicValNat_factorial (#5802)

Estimated changes

added theorem padicValNat_factorial