Theorem Balanced.neg_mem_iff

Modification history