Theorem Finset.union_insert

Modification history