Theorem Set.toFinset_ofFinset

Modification history