Theorem TwoSidedIdeal.neg_mem

Modification history