Theorem Finset.disjoint_left

Modification history