Theorem Matrix.Fin.circulant_mul

Modification history