Theorem Set.ssubset_toFinset

Modification history