Theorem IsSimpleRing.exists_ringEquiv_matrix_divisionRing

Modification history