Theorem Nat.superFactorial_four_mul

Modification history

2024-01-25 13:08
Mathlib/Data/Nat/Factorial/SuperFactorial.lean
feat: superFactorial_two_mul, superFactorial_four_mul (#7924)
Added Nat.superFactorial_four_mulView on Github →