coPset: some lemmas about infinity

Proofs by Joshua Yanowski
5 jobs for ci/ralf/coPset in 8 minutes and 36 seconds (queued for 3 seconds)