finite): complement of finite set is infinite (#6266)

Commit

4 years ago

feat(data/set/finite): complement of finite set is infinite (#6266) Add two missing lemmas. One-line proofs due to Yakov Pechersky.

Author

kbuzzard

Parents