Theorem neg_div'

Modification history