Theorem Finset.disjUnionᵢ_empty

Modification history