Theorem Matrix.circulant_col_zero_eq

Modification history