Theorem Set.Finite.absorbs_biInter

Modification history