Commit 2023-09-24 12:30 e95989a3

View on Github →

feat: add Nat.descFactorial_eq_prod_range (#7261)

Estimated changes