Theorem neg_div

Modification history