Theorem absorbs_union

Modification history