Theorem Matrix.circulant_isSymm_apply

Modification history