mathlib3
1c9ea256 - chore(data/set/function): two trivial lemmas (#17784)

Commit

3 years ago

chore(data/set/function): two trivial lemmas (#17784)

Author

eric-wieser

eric-wieser

Parents

Loading