Theorem Ring.jacobson_smul_top_le

Modification history