Commit 2024-01-25 13:08 2b7478a4

View on Github →

feat: superFactorial_two_mul, superFactorial_four_mul (#7924)

Estimated changes

Modified Mathlib/Data/Nat/Factorial/SuperFactorial.lean

modified theorem Nat.prod_range_factorial_succ

added theorem Nat.superFactorial_four_mul

added theorem Nat.superFactorial_two_mul