Theorem Set.iUnion_eq_iUnion_finset'

Modification history