Theorem Nat.zero_ascFactorial

Modification history

2024-01-09 10:40

Mathlib/Data/Nat/Factorial/Basic.lean

chore: shift Nat.ascFactorial down by one (#7965) …

Modified Nat.zero_ascFactorial View on Github →

2022-12-16 12:16

Mathlib/Data/Nat/Factorial/Basic.lean

feat: Port `Data.Nat.Factorial.Basic` (#1066) …

Added Nat.zero_ascFactorial View on Github →