Theorem absorbent_iff_nonneg_lt

Modification history