Theorem IsSemisimpleRing.exists_algEquiv_pi_matrix_of_isAlgClosed

Modification history