Theorem Finset.disjSum_eq_empty

Modification history