Skip to content

coPset: some lemmas about infinity

Ralf Jung requested to merge ci/ralf/coPset into master

Proofs by Joshua Yanowski

Merge request reports