Theorem Set.Finite.sSubset_toFinset

Modification history