Theorem Finset.fold_union_empty_singleton

Modification history