Commit 2023-09-26 17:18 0984a59e

View on Github →

feat: super factorial written as product (#6806)

Estimated changes

added theorem Nat.prod_Icc_factorial