mathlib
1cd22862 - chore(data/finset/preimage): add missing simp lemmas (#5902)

Commit

5 years ago

chore(data/finset/preimage): add missing simp lemmas (#5902)

Author

eric-wieser

eric-wieser

Parents

Loading