Theorem Set.Finite.absorbs_sUnion

Modification history