Theorem Ideal.jacobson_bot

Modification history