Theorem IsSimpleRing.exists_algEquiv_matrix_divisionRing_finite

Modification history