Theorem Matrix.vandermonde_cons

Modification history