Theorem Set.toFinset_iUnion

Modification history