Theorem Matrix.Fin.circulant_mul_comm

Modification history