Theorem absorbs_iUnion_finset

Modification history