Theorem IsSemisimpleRing.exists_ringEquiv_pi_matrix_divisionRing

Modification history