Comment the file coPset.v.
In particular, the claim that these sets are "finite/cofinite", which I take to mean that "every set is finite or cofinite", was incorrect, and has been removed.
In particular, the claim that these sets are "finite/cofinite", which I take to mean that "every set is finite or cofinite", was incorrect, and has been removed.