Theorem Finset.disjoint_insert_left

Modification history