mathlib
efd9dd3c - feat(data/finsupp/basic): more lemmas on `alist.lookup_finsupp` (#15875)

Commit

3 years ago

feat(data/finsupp/basic): more lemmas on `alist.lookup_finsupp` (#15875)

Author

vihdzp

vihdzp

Parents

Loading