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)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #117272
fp

00:04:55

passed build-coq.8.11.2 #117271
fp

00:04:47

passed build-coq.8.12.2 #117270
fp

00:04:52

passed build-coq.8.13.1 #117269
fp-timing

00:03:53

passed build-coq.dev #117268
fp

00:08:36