Theorem Finset.insert_union_comm

Modification history