Theorem RingCon.matrix_apply_single

Modification history