Theorem IsSemisimpleRing.exists_algEquiv_pi_matrix_end_mulOpposite

Modification history