Theorem neg_div_neg_eq

Modification history