Theorem Finset.singleton_disjUnionᵢ

Modification history