Theorem Matrix.rectVandermonde_apply_zero_right

Modification history