Theorem IsSimpleRing.exists_algEquiv_matrix_end_mulOpposite

Modification history