Theorem Finset.set_biUnion_singleton

Modification history