Theorem Set.subset_toFinset

Modification history