Theorem IsSimpleRing.exists_ringEquiv_matrix_end_mulOpposite

Modification history