Theorem IsSimpleRing.exists_algEquiv_matrix_of_isAlgClosed

Modification history