Theorem neg_div_self

Modification history