Def RingCon.ofMatrix

Modification history