Theorem IsSimpleRing.exists_algEquiv_matrix_divisionRing

Modification history