Commit 2021-01-13 18:52 69e9344c
View on Github →feat(data/set/finite): add lemma with iff statement about when finite sets can be subsets (#5725) Part of #5698 in order to prove statements about strongly regular graphs. Co-author: @shingtaklam1324
feat(data/set/finite): add lemma with iff statement about when finite sets can be subsets (#5725) Part of #5698 in order to prove statements about strongly regular graphs. Co-author: @shingtaklam1324