Theorem absorbs_biUnion_finset

Modification history