Theorem IsSimpleModule.jacobson_eq_bot

Modification history