Theorem padicValNat_factorial

Modification history

2023-08-12 17:00

Mathlib/NumberTheory/Padics/PadicVal.lean

feat(NumberTheory/Padics/PadicVal): padicValNat_factorial' (#5803) …

Modified padicValNat_factorial View on Github →

2023-07-19 14:22

Mathlib/NumberTheory/Padics/PadicVal.lean

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

Added padicValNat_factorial View on Github →