Theorem Matrix.det_vandermonde_id_eq_superFactorial

Modification history