Theorem TwoSidedIdeal.asIdeal_jacobson

Modification history