set.to_finset_univ source