Theorem Set.Finite.finite_subsets

Modification history