Theorem List.toFinset_union

Modification history