Theorem TwoSidedIdeal.jacobson_matricesOver

Modification history