Theorem Finset.disjoint_sup_right

Modification history