Theorem RingCon.ofMatrix_rel

Modification history