card): Cardinality of union, image, and range (#17253)

Commit

3 years ago

feat(data/finite/card): Cardinality of union, image, and range (#17253) This PR adds lemmas for the cardinality of union, image, and range.

Author

tb65536

Parents