Theorem RingCon.matrix_ofMatrix

Modification history