Theorem div_nonneg_iff

Modification history