Theorem div_neg_self

Modification history