Theorem Matrix.circulant_injective

Modification history