Theorem IsSemisimpleRing.exists_algEquiv_pi_matrix_divisionRing_finite

Modification history