Theorem RingCon.matrix_injective

Modification history