Commit 2021-02-17 03:54 bf9ca8b5
View on Github →feat(data/set/finite): complement of finite set is infinite (#6266) Add two missing lemmas. One-line proofs due to Yakov Pechersky.
feat(data/set/finite): complement of finite set is infinite (#6266) Add two missing lemmas. One-line proofs due to Yakov Pechersky.