Theorem Matrix.projVandermonde_apply_zero_right

Modification history