Theorem Set.disjoint_toFinset

Modification history