Theorem absorbs_iUnion

Modification history