Theorem IsSemisimpleRing.jacobson_eq_bot

Modification history