Theorem Matrix.circulant_mul

Modification history