Theorem absorbent_iff_forall_absorbs_singleton

Modification history