Theorem Set.Finite.ssubset_toFinset

Modification history