finite complement topology

  1. redirectCofiniteness