Theorem Set.Intersecting.exists_mem_finset

Modification history