Commit 2020-07-20 22:17 2915faed
View on Github →feat(data/finset/basic): Cardinality of intersection with singleton (#3480) Intersecting with a singleton produces a set of cardinality either 0 or 1.
feat(data/finset/basic): Cardinality of intersection with singleton (#3480) Intersecting with a singleton produces a set of cardinality either 0 or 1.