mathlib3
19483ae3 - feat(data/finset): inj on of image card eq (#6785)

Commit

5 years ago

feat(data/finset): inj on of image card eq (#6785) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

b-mehta

Parents