Theorem balanced_iff_neg_mem

Modification history