Theorem Matrix.circulant_inj

Modification history