Theorem Set.toFinset_subset_toFinset

Modification history