Set center lemmas

Set.center_prod and Set.center_pi are now in Mathlib; this file only re-exports the relevant imports for downstream files.