basic): bijection preserves cardinality (#9473)

Commit

4 years ago

feat(data/fintype/basic): bijection preserves cardinality (#9473) We don't seem to have this lemma yet, so I've added it.

Author

tb65536

Parents