mathlib
e3ae6cd6 - feat(data/equiv/basic): lemmas about images and preimages (#6398)

Commit

5 years ago

feat(data/equiv/basic): lemmas about images and preimages (#6398)

Author

gebner

gebner

Parents

Loading