Theorem Set.toFinset_ssubset

Modification history