Theorem RingCon.ofMatrix_matrix

Modification history