Theorem Finset.disjoint_union_left

Modification history