Theorem Set.finite_mem_finset

Modification history