Commit 2023-09-14 10:14 52192c40

View on Github →

feat: det_vandermonde_id_eq_superFactorial (#6827)

depends on: #6768

Estimated changes

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

added theorem Nat.det_vandermonde_id_eq_superFactorial