mathlib3
98c6bbc9 - feat(data/set/function): three lemmas about maps_to (#6518)

Commit

4 years ago

feat(data/set/function): three lemmas about maps_to (#6518)

Author

eric-wieser

eric-wieser

Parents

Loading