Theorem Matrix.circulant_isSymm_iff

Modification history