Theorem absorbs_iff_eventually_nhdsNE_zero

Modification history