Theorem RingCon.matrix_apply

Modification history