Theorem RingCon.ofMatrix_rel'

Modification history